10 search results - page 1 / 2 » jfp 2008 |
66
Voted
JFP
2008
14 years 11 months ago
2008
71
Voted
JFP
2008
14 years 11 months ago
2008
The historical design of the call-by-value theory of control relies on the reification of evaluation contexts as regular functions and on the use of ordinary term application for ...
72
Voted
JFP
2008
14 years 11 months ago
2008
t two complementary improvements for abstract-interpretation-based flow analysis r-order languages: (1) abstract garbage collection and (2) abstract counting.1,2 garbage collecti...
JFP
2008
14 years 11 months ago
2008
In this paper, we introduce Applicative functors--an abstract characterisation of an applicative style of effectful programming, weaker than Monads and hence more widespread. it i...
JFP
2008
14 years 11 months ago
2008
We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while allowing sound and efficient execution. In particular, the...