8706 search results - page 521 / 1742 » Learning Subjective Language |
135
click to vote
ICFP
2004
ACM
16 years 5 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
113
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
152
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
We have verified several versions of the CPS transformation in Isabelle/HOL. In our verification we adopted first-order abstract syntax with variable names so that the formalizati...
126
Voted
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...
136
click to vote
ASPLOS
2010
ACM
15 years 12 months ago
2010
ACM
Prior work has shown dramatic acceleration for various database operations on GPUs, but only using primitives that are not part of conventional database languages such as SQL. Thi...