Sciweavers

82 search results - page 2 / 17
» Programming Languages Team (PLT)
Sort
View
FMCO
2006
Springer
135views Formal Methods» more  FMCO 2006»
13 years 9 months ago
Links: Web Programming Without Tiers
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the clie...
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Ya...
ICFP
2007
ACM
14 years 5 months ago
Adding delimited and composable control to a production programming environment
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
Matthew Flatt, Gang Yu, Robert Bruce Findler, Matt...
IFIP
2010
Springer
13 years 3 months ago
Knowledge Representation in Virtual Teams: A Perspective Approach for Synthetic Worlds
Giacomo Fiumara, Dario Maggiorini, Alessandro Prov...
ESOP
2009
Springer
14 years 1 days ago
Practical Variable-Arity Polymorphism
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
T. Stephen Strickland, Sam Tobin-Hochstadt, Matthi...