Functional Programming with Overloading and Higher-Order Polymorphism (1995)

Cached

Download Links

by Mark P. Jones
Citations:70 - 3 self

Active Bibliography

47 First-class Polymorphism with Type Inference – Mark P. Jones
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
96 How to Declare an Imperative – Philip Wadler - 1995
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze
9 Exploring the Design Space for Type-based Implicit Parameterization – Mark P. Jones - 1999
Domain-Specific Embedded Languages – Kevin Backhouse - 2002
Modular Monadic Semantics – Sheng Liang, Paul Hudak
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
35 Semantic Lego – David Espinosa - 1995
3 Efficient monadic-style backtracking – Ralf Hinze - 1996
A Data Structure for More Efficient . . . – Melissa Elizabeth O’Neill - 1994
A Modular, Algebra-Sequenced Paramorphic . . . – Mark H. Snyder - 2007
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
1312 Monads for functional programming – Philip Wadler - 1995
51 Typing Haskell in Haskell – Mark P. Jones - 1999
Reusable Monadic Semantics of Logic Programs with Arithmetic Predicates – J. E. Labra Gayo, J. M. Cueva Lovelle, M. C. Luengo Diez, A. Cernuda del Rio, A. Cernuda Del Río - 2001
10 Using Catamorphisms, Subtypes and Monad Transformers for Writing Modular Functional Interpreters. – Luc Duponcheel - 1995