|
3
|
From Inheritance to Feature Interaction or Composing Monads
– Christian Prehofer
- 1997
|
|
|
Modular Monadic Semantics
– Sheng Liang, Paul Hudak
|
|
10
|
Monads for Natural Language Semantics
– Chung-Chieh Shan
|
|
10
|
Prolog's Control Constructs in a Functional . . .
– Ralf Hinze
|
|
2
|
Efficient monadic-style backtracking
– Ralf Hinze
- 1996
|
|
15
|
TinkerType: a language for playing with formal systems
– Michael Y. Levin, Benjamin C. Pierce
- 2003
|
|
3
|
Compilation as Metacomputation: Binding Time Separation in Modular Compilers (Extended Abstract)
– William L. Harrison, Samuel N. Kamin
- 1998
|
|
4
|
Achieving information flow security through monadic control of effects. Invited submission to
– William L. Harrison, James Hook
|
|
19
|
Modular Compilers Based on Monad Transformers
– William Harrison, Samuel N. Kamin
- 1998
|
|
7
|
Metacomputation-based compiler architecture
– William L. Harrison, Samuel N. Kamin
- 2000
|
|
|
Reusable Monadic Semantics of Logic Programs with Arithmetic Predicates
– J. E. Labra Gayo, J. M. Cueva Lovelle, M. C. Luengo Diez, A. Cernuda del Rio, A. Cernuda Del Río
- 2001
|
|
9
|
Promotional Transformation on Monadic Programs
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1995
|
|
6
|
Defining and Implementing Closed, Domain-Specific Languages
– Richard B. Kieburtz
- 2000
|
|
5
|
Prological Features In A Functional Setting Axioms And Implementations
– Ralf Hinze
- 1998
|
|
|
Compound Monads and Models of Computation
– Jeremy E. Dawson
|
|
|
A Flexible Semantic Framework for Effects
– Ross Tate, Daan Leijen, Sorin Lerner
|
|
|
Monads, Zippers and Views Virtualizing the Monad
– Tom Schrijvers, Bruno C. D. S. Oliveira
|
|
35
|
Semantic Lego
– David Espinosa
- 1995
|
|
7
|
Using Catamorphisms, Subtypes and Monad Transformers for Writing Modular Functional Interpreters.
– Luc Duponcheel
- 1995
|
