1194 search results - page 10 / 239 » A Calculus for Predicative Programming |
81
Voted
ICFP
2001
ACM
15 years 11 months ago
2001
ACM
101
click to vote
FOSSACS
2004
Springer
15 years 5 months ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
85
Voted
ICALP
2004
Springer
15 years 5 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
100
Voted
CORR
2006
Springer
14 years 11 months ago
2006
Springer
In a previous work, we proved that almost all of the Calculus of Inductive Constructions (CIC), the basis of the proof assistant Coq, can be seen as a Calculus of Algebraic Constru...
117
click to vote
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...