2362 search results - page 16 / 473 » Programming in Standard ML |
Book
"These are the lecture notes accompanying the course Introduction to Functional
Programming, which I taught at Cambridge University in the academic year 1996/1997."
TOPLAS
2008
13 years 8 months ago
2008
ICFP
2007
ACM
14 years 8 months ago
2007
ACM
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts p...
AFP
2008
Springer
14 years 2 months ago
2008
Springer
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
APLAS
2010
ACM
13 years 7 months ago
2010
ACM
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...