Type Safe Abstractions Using Program Generators (1995)

Cached

Download Links

by Tim Sheard , Neal Nelson
Citations:16 - 1 self

Active Bibliography

5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
2 Type Safe Meta-Programming – Tim Sheard, James Hook - 1994
93 Polytypic programming – Patrik Jansson - 2000
11 Programming With Types – Stephanie Claudene Weirich - 2002
59 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
28 Polytypic Pattern Matching – Johan Jeuring - 1995
4 PolyLib - a library of polytypic functions – Patrik Jansson, Johan Jeuring - 1998
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
6 Structural Polymorphism – Fritz Ruehr - 1998
13 Uniform Traversal Combinators: Definition, Use and Properties – Leonidas Fegaras, Tim Sheard, David Stemple - 1992
29 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
1 A Calculus for Boxing Analysis of Polymorphically Typed Languages – Jesper Jørgensen - 1996
Reductivity – Henk Doornbos, Roland Backhouse - 1995
3 Covariant Types – C. Barry Jay - 1997
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
41 Calculate Polytypically! – Lambert Meertens - 1996
6 Final Dialgebras: From Categories to Allegories – Roland Backhouse, Paul Hoogendijk - 1999
24 Generic programming with fixed points for mutually – Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring - 2008