Views for Standard ML (1998)

Cached

Download Links

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

Documents Related by Co-Citation

141 Views: A way for pattern matching to cohabit with data abstraction – Philip Wadler - 1986
28 Pattern matching with abstract data types – F W Burton, R D Cameron - 1993
15 A new look at pattern matching in abstract data types – P Palao Gostanza, R Peña, M Núñez - 1996
12 Active Patterns – Martin Erwig - 1996
64 A Pattern Matching Compiler for Multiple Target Languages – Pierre-etienne Moreau, Christophe Ringeissen, Marian Vittek - 2003
17 First Class Patterns – Mark Tullsen - 2000
13 Statically Checkable Pattern Abstractions – Manuel Fähndrich, John Boyland - 1997
17 Extensible pattern matching via a lightweight language extension – Don Syme, Gregory Neverov, James Margetson - 2007
226 Functional Data Structures – Chris Okasaki - 1996
18 Abstract value constructors – William Aitken, John Reppy - 1992
18 Jmatch: Iterable abstract pattern matching for java – Jed Liu, Andrew C. Myers - 2003
20 Matching Objects with Patterns – Burak Emir, Martin Odersky, John Williams - 2007
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
6 Views: An Extension to Haskell Pattern Matching. http://haskell.org/development/views.html – F W Burton, E Meijer, P Sansom, S Thompson, P Wadler - 1996
6 Lawful functions and program verification – S Thompson - 1990
7 Views: An Extension to Haskell Pattern Matching. Available from http://www.haskell.org/development/views.html – F W Burton, E Meijer, P Sansom, S Thompson, Wadler - 1996
136 Programming with Abstract Data Types – Barbara Liskov, Stephen Zilles - 1974
702 Types and programming languages – Benjamin C Pierce - 2002