A Curry-Howard foundation for functional computation with control (1997)

Cached

Download Links

by C. -h. L. Ong , C. A. Stewart
Venue:In Proceedings of ACM SIGPLAN-SIGACT Symposium on Principle of Programming Languages
Citations:79 - 3 self

Active Bibliography

548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
30 A semantic view of classical proofs -- type-theoretic, categorical, and denotational characterizations (Extended Abstract) – C.-H. L. Ong - 1996
On the Relation between the λµ-Calculus and the Syntactic Theory of Sequential Control – unknown authors
Continuations in Programming Practice: – unknown authors
104 A New Deconstructive Logic: Linear Logic – Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx - 1995
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1318 Monads for functional programming – Philip Wadler - 1995
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
649 A formal basis for architectural connection – Robert Allen, David Garlan - 1997