On the ubiquity of certain total type structures (2007)

by John Longley
Venue:UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE
Citations:4 - 2 self

Active Bibliography

548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
11 Notions of computability at higher types I – John Longley - 2005
944 A theory of type polymorphism in programming – Robin Milner - 1978
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
680 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
36 The sequentially realizable functionals – John Longley
459 Comprehending Monads – Philip Wadler - 1992