4940 search results - page 267 / 988 » On the Complexity of Universal Programs |
186
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
170
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...
146
click to vote
FP
1995
15 years 10 months ago
1995
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...
175
click to vote
FPCA
1995
15 years 10 months ago
1995
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
168
click to vote
CSREAEEE
2006
15 years 8 months ago
2006
: This paper examines the re-development of university level web programming unit for delivery in a fully online mode. The unit, which teaches advanced xhtml, javascript, php and m...