A New Approach to Generic Functional Programming (1999)

by Ralf Hinze
Venue:In The 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:95 - 13 self

Active Bibliography

31 Generalizing Generalized Tries – Ralf Hinze - 1999
13 Polytypic Programming With Ease – Ralf Hinze - 1999
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
680 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
391 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
11 Efficient Generalized Folds – Ralf Hinze - 1999