Active Patterns (1996)

Cached

Download Links

by Martin Erwig
Venue:In 8th Int. Workshop on Implementation of Functional Languages, LNCS 1268
Citations:14 - 3 self

Active Bibliography

7 Pattern Guards and Transformational Patterns – Martin Erwig, Simon Peyton Jones - 2000
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1318 Monads for functional programming – Philip Wadler - 1995
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1111 Proof-Carrying Code – George C. Necula - 1997
1 Design and implementation of deterministic higher-order patterns – Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi - 2005
459 Comprehending Monads – Philip Wadler - 1992