|
6
|
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
|
|
39
|
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
|
|
6
|
Pattern Guards and Transformational Patterns
– Martin Erwig, Simon Peyton Jones
- 2000
|
|
11
|
Active Patterns
– Martin Erwig
- 1996
|
|
3
|
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
|
|
11
|
A Logic for Miranda, Revisited
– Simon Thompson
- 1994
|
|
41
|
Elementary strong functional programming
– D. A. Turner, Canterbury Ct Nf
- 1995
|
|
119
|
Views: A way for pattern matching to cohabit with data abstraction
– Philip Wadler
- 1986
|
