1185 search results - page 121 / 237 » Implementing Functional Languages: a tutorial |
133
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
131
click to vote
PRDC
2005
IEEE
15 years 8 months ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
121
click to vote
CADE
1990
Springer
15 years 6 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
100
Voted
AISC
2006
Springer
15 years 6 months ago
2006
Springer
Solving analytic systems using inversion can be implemented in a variety of ways. One method is to use Lagrange inversion and variations. Here we present a different approach, base...
136
Voted
PEPM
2011
ACM
14 years 5 months ago
2011
ACM
Passing multiple continuation arguments to a function in CPS form allows one to encode a wide variety of direct-style control constructs, such as conditionals, exceptions, and mul...