Views for Standard ML (1998)

View PDF

Download Links

by Chris Okasaki
Venue:In SIGPLAN Workshop on ML
Citations:27 - 0 self

Active Bibliography

15 Statically Checkable Pattern Abstractions – Manuel Fähndrich, John Boyland - 1997
8 Pattern Guards and Transformational Patterns – Martin Erwig, Simon Peyton Jones - 2000
1 Polytypic Functional Programming and Data Abstraction – Pablo Nogueira Iglesias - 2006
35 Strategic Pattern Matching – Eelco Visser - 1999
17 Extensible pattern matching via a lightweight language extension – Don Syme, Gregory Neverov, James Margetson - 2007
14 Active Patterns – Martin Erwig - 1996
4 Gradual Refinement Blending Pattern Matching with Data Abstraction – Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
Translucent Abstraction: Safe Views through Invertible Programming – Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
Table of Contents Combining Total and Ad Hoc Extensible Pattern Matching in a – Don Syme, Gregory Neverov, James Margetson, Don Syme, Gregory Neverov, James Margetson