More Advice on Proving a Compiler Correct: Improve a Correct Compiler (1994)

Cached

Download Links

by E. Meijer , E. Meijer
Citations:11 - 1 self

Documents Related by Co-Citation

1312 Monads for functional programming – Philip Wadler - 1995
97 and Order in Algorithmics – Law - 1992
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
10 Compiling Monads – Olivier Danvy, J├╝rgen Koslowski, Karoline Malmkjær, Karoline Malmkjaer - 1991
163 An abstract view of programming languages – E Moggi - 1989
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
5 Modelling office processes with functional parsers – Gert Florijn - 1994
31 Category Theoretic Approach to Data Types – T Hagino - 1987
84 Algebraic Data Types and Program Transformation – G Malcolm - 1990
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
22 Fold and Unfold for Program Semantics – Graham Hutton - 1998
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
57 Monadic Parser Combinators – Graham Hutton , Erik Meijer - 1996
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
325 Denotational Semantics: A Methodology for Language Development – David A Schmidt - 1986
86 Algebraic Approaches to Program Semantics – E G Manes, M A Arbib - 1986
68 Recursive Types Reduced to Inductive Types – P Freyd - 1990