Views for Standard ML (1998)

Cached

Download Links

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

Active Bibliography

7 Pattern Guards and Transformational Patterns – Martin Erwig, Simon Peyton Jones - 2000
13 Statically Checkable Pattern Abstractions – Manuel Fähndrich, John Boyland - 1997
Translucent Abstraction: Safe Views through Invertible Programming – Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
4 Gradual Refinement Blending Pattern Matching with Data Abstraction – Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
34 Strategic Pattern Matching – Eelco Visser - 1999
12 Active Patterns – Martin Erwig - 1996
20 Matching Objects with Patterns – Burak Emir, Martin Odersky, John Williams - 2007
29 Functional Programming with Graphs – Martin Erwig - 1997
Modular and Extensible Types – Lucília Figueiredo, Carlos Camarão - 1999
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
1 Bialgebra Views A Way for Polytypic Programming to Cohabit with Data Abstraction – Pablo Nogueira, Juan José Moreno-navarro
17 Purely Functional Random-Access Lists – Chris Okasaki - 1995
16 Inductive Graphs and Functional Graph Algorithms – Martin Erwig - 2001
6 Unfolding abstract datatypes – Jeremy Gibbons - 2008
PLT @ Northeastern University – Sam Tobin-hochstadt
1 When is an abstract data type a functor? – Pablo Nogueira
Unrolling Lists 3 – unknown authors - 1994
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
27 Unrolling lists – Zhong Shao - 1994