Modular Compilers Based on Monad Transformers (1998)

Cached

Download Links

by William Harrison , Samuel N. Kamin
Venue:In Proceedings of the IEEE International Conference on Computer Languages
Citations:19 - 2 self

Documents Related by Co-Citation

233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
207 Type-directed partial evaluation – Olivier Danvy - 1996
1312 Monads for functional programming – Philip Wadler - 1995
23 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, RenĂ© Vestergaard
55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
28 Modular Monadic Semantics and Compilation – Sheng Liang - 1998
730 Notions of Computation and Monads – Eugenio Moggi - 1991
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
163 An abstract view of programming languages – E Moggi - 1989
35 Semantic Lego – David Espinosa - 1995
471 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Joseph E Stoy - 1981
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
7 Writing modular interpreters using catamorphisms, subtypes and monad transformers – Luc Duponcheel - 1995
70 A Polymorphic Type System for Extensible Records and Variants – Benedict R. Gaster, Mark P. Jones - 1996
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
7 A modular semantics for compiler generation – S Liang - 1995
146 A Tutorial on Action Semantics – Peter D Mosses - 1996
29 Handwriting cogen to avoid problems with static typing – C K Holst, J Launchbury - 1991