Active Patterns (1996)

Cached

Download Links

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

Active Bibliography

7 Pattern Guards and Transformational Patterns – Martin Erwig, Simon Peyton Jones - 2000
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
13 Statically Checkable Pattern Abstractions – Manuel Fähndrich, John Boyland - 1997
4 Gradual Refinement Blending Pattern Matching with Data Abstraction – Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
22 Views for Standard ML – Chris Okasaki - 1998
Modular and Extensible Types – Lucília Figueiredo, Carlos Camarão - 1999
17 Purely Functional Random-Access Lists – Chris Okasaki - 1995
29 Functional Programming with Graphs – Martin Erwig - 1997
39 Querying Nested Collections – Limsoon Wong - 1994
16 Inductive Graphs and Functional Graph Algorithms – Martin Erwig - 2001
9 On the implementation of construction functions for non-free concrete data types – Frédéric Blanqui, Thérèse Hardin, Pierre Weis
1 Bialgebra Views A Way for Polytypic Programming to Cohabit with Data Abstraction – Pablo Nogueira, Juan José Moreno-navarro
Translucent Abstraction: Safe Views through Invertible Programming – Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
34 Strategic Pattern Matching – Eelco Visser - 1999
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
27 Unrolling lists – Zhong Shao - 1994
3 Eliminating Intermediate Lists in pH using Local Transformations – Jan-Willem Maessen - 1994
1 SIMPLIFYING THE ANALYSIS OF C++ PROGRAMS – Yuriy Solodkyy, Jaakko Järvi, Lawrence Rauchwerger, Sergiy Butenko, Duncan M. (hank Walker - 2013
14 Eliminating dead code on recursive data – Yanhong A. Liu, Scott D. Stoller - 1999