Active Bibliography

2 Deriving a Relationship from a Single Example – Neil Mitchell
111 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
Embedded Languages for Origami-Based Geometry – Gaetano Caruana, Gordon J. Pace
An Embedded Geometrical Language in Haskell: Construction, Visualisation, Proof – Maria Grima, Gordon J. Pace
Framework Design Using Function Generalization: A Binary Tree Traversal Case Study – H. Conrad Cunningham
11 Overview of Hydra: A concurrent language for synchronous digital circuit design – John T. O’donnell - 2002
2 Accurate Step Counting – Catherine Hope, Graham Hutton - 2005
1 Generating test inputs for fault-tree analyzers using imperative predicates – Saˇsa Misailović Aleks, Ar Milićević - 2007
1 Supero: Making Haskell faster – Neil Mitchell, Colin Runciman - 2007
2 A.: The Interface Definition Language for Fail-Safe C – Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa - 2004
1 Mesa Language – Neil Mitchell - 1979
6 Parametric Fortran – A Program Generator for Customized Generic Fortran Extensions – Martin Erwig, Zhe Fu - 2004
2 Type-safe Computation with Heterogeneous Data – Freeman Yufei Huang - 2007
Breaking the Complexity Barrier of Pure Functional Programs with Impure Data Structures – Pieter Wuille, Tom Schrijvers
Space-Efficient Blame Tracking for Gradual Types – Jeremy G. Siek
1 Generating test inputs for fault-tree analyzers using imperative predicates – Sasa Misailović , Aleksandar Milićević, Sarfraz Khurshid, Darko Marinov - 2007
A Modular, Algebra-Sequenced Paramorphic . . . – Mark H. Snyder - 2007
General Terms Languages, Design – Christopher Brown, Simon Thompson
Testing Formal Semantics: Handel-C – Brian J. Corcoran, B. Sc, Brian J. Corcoran, Brian J. Corcoran, Brian J. Corcoran, Supervisor Andrew Butterfield