First Class Patterns (2000)

Cached

Download Links

by Mark Tullsen
Venue:In 2nd International Workshop on Practial Aspects of Declarative Languages, volume 1753 of LNCS
Citations:17 - 1 self

Active Bibliography

18 Jmatch: Iterable abstract pattern matching for java – Jed Liu, Andrew C. Myers - 2003
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
7 Pattern Guards and Transformational Patterns – Martin Erwig, Simon Peyton Jones - 2000
34 Strategic Pattern Matching – Eelco Visser - 1999
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
5 On Static Analysis for Expressive Pattern Matching – Mirco Dotta, Viktor Kuncak
9 Generating a pattern matching compiler by partial evaluation – Jesper Jørgensen - 1990
Development of a Prototype Geometric Modelling System using a Functional Language – Iain Checkland, Colin Runciman - 1992
Modular and Extensible Types – Lucília Figueiredo, Carlos Camarão - 1999
2 An Implementation of Parallel Pattern-matching via Concurrent Haskell – Lyndon While, Greg Mildenhall - 2002
21 Parse-Tree Annotations Meet Re-Engineering Concerns – Jan Kort, Ralf Lämmel - 2003
1 Bialgebra Views A Way for Polytypic Programming to Cohabit with Data Abstraction – Pablo Nogueira, Juan José Moreno-navarro
12 Active Patterns – Martin Erwig - 1996
13 Statically Checkable Pattern Abstractions – Manuel Fähndrich, John Boyland - 1997
25 Generic views on data types – Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez - 2006
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
8 Revealing the X/O impedance mismatch (Changing lead into gold) – Ralf Lämmel, Erik Meijer - 2007