Foundations for structured programming with GADTs (2008)

Cached

Download Links

by Patricia Johann
Venue:Conference record of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:25 - 4 self

Documents Related by Co-Citation

236 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
721 Types and programming languages – Benjamin C Pierce - 2002
944 A theory of type polymorphism in programming – Robin Milner - 1978
734 Notions of Computation and Monads – Eugenio Moggi - 1991
479 Categories for the working mathematician – S MacLane - 1971
857 A formulation of the simple theory of types – Alonzo Church - 1940
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
954 T.: Term rewriting and all that – F Baader, Nipkow - 1998