Type Theory and Functional Programming (1991)

by Simon Thompson , C Simon Thompson
Citations:97 - 3 self

Active Bibliography

9 On the implementation of construction functions for non-free concrete data types – Frédéric Blanqui, Thérèse Hardin, Pierre Weis
6 A Transformation System Combining Partial Evaluation with Term Rewriting – Françoise Bellegarde - 1993
A type theory which is complete for Kreisel’s – Tristan Crolard - 1999
48 Proof-assistants using Dependent Type Systems – Henk Barendregt, Herman Geuvers - 2001
1 Design and implementation of deterministic higher-order patterns, 2005. Draft. Available at http:://www.ipl.t.u-tokyo.ac.jp/yicho – Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
7 Pattern Guards and Transformational Patterns – Martin Erwig, Simon Peyton Jones - 2000
12 Active Patterns – Martin Erwig - 1996
4 Gradual Refinement Blending Pattern Matching with Data Abstraction – Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
The sigma-Semantics: A Comprehensive Semantics for Functional Programs – Olaf Chitil - 1997
A Free Logical Foundation for Nonstrict Functions – Raymond Gumb And, Raymond D. Gumb, Karel Lambert
1 Reasoning with Higher Order Partial Functions – A. Gavilanes-franco, F. Lucio-carrasco, M. Rodríguez-Artalejo - 1992
2 A Free Logical Foundation for Nonstrict Functions – Raymond D. Gumb, Karel Lambert
2 Relative Specification and Transformational Reuse of Functional Programs – Colin Runciman, Nigel Jagger - 1990
5 Formulating Haskell – Simon Thompson - 1993
2 Miranda in Isabelle – Steve Hill, Simon Thompson, Thompson A - 1995
9 An Operational Semantics for I/O in a Lazy Functional Language – Andrew D. Gordon - 1993
Rigorous Development of Functional Programs Using Temporal Logic – Carlos H. C. Duarte - 2003
1 Translating Haskell to Isabelle – Paolo Torrini, Christoph Lueth, Christian Maeder, Till Mossakowski - 2007
12 A Logic for Miranda, Revisited – Simon Thompson - 1994