Pattern Guards and Transformational Patterns (2000)

by Martin Erwig , Simon Peyton Jones
Citations:7 - 0 self

Active Bibliography

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
4 Gradual Refinement Blending Pattern Matching with Data Abstraction – Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
12 Active Patterns – Martin Erwig - 1996
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
34 Strategic Pattern Matching – Eelco Visser - 1999
9 On the implementation of construction functions for non-free concrete data types – Frédéric Blanqui, Thérèse Hardin, Pierre Weis
22 Views for Standard ML – Chris Okasaki - 1998
7 First-class Rules and Generic Traversal – Eelco Dolstra, Eelco Visser - 2001
6 Unfolding abstract datatypes – Jeremy Gibbons - 2008
20 Matching Objects with Patterns – Burak Emir, Martin Odersky, John Williams - 2007
3 First Class Rules and Generic Traversals for Program Transformation Languages – Eelco Dolstra - 2001
Modular and Extensible Types – Lucília Figueiredo, Carlos Camarão - 1999
17 Purely Functional Random-Access Lists – Chris Okasaki - 1995
1 SIMPLIFYING THE ANALYSIS OF C++ PROGRAMS – Yuriy Solodkyy, Jaakko Järvi, Lawrence Rauchwerger, Sergiy Butenko, Duncan M. (hank Walker - 2013
148 XDuce: A Statically Typed XML Processing Language – Haruo Hosoya, Benjamin C. Pierce - 2002
17 Inductive Graphs and Functional Graph Algorithms – Martin Erwig - 2001
2 Context Patterns, Part II – Markus Mohnen - 1997
PLT @ Northeastern University – Sam Tobin-hochstadt