Prolog's Control Constructs in a Functional . . .

by Ralf Hinze
Venue:INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Citations:13 - 5 self

Active Bibliography

5 Prological Features In A Functional Setting Axioms And Implementations – Ralf Hinze - 1998
3 Efficient monadic-style backtracking – Ralf Hinze - 1996
27 Deriving Backtracking Monad Transformers – Ralf Hinze - 2000
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
96 How to Declare an Imperative – Philip Wadler - 1995
Modular Monadic Semantics – Sheng Liang, Paul Hudak
6 Defining and Implementing Closed, Domain-Specific Languages – Richard B. Kieburtz - 2000
12 Monads for Natural Language Semantics – Chung-Chieh Shan
35 Semantic Lego – David Espinosa - 1995
3 From Inheritance to Feature Interaction or Composing Monads – Christian Prehofer - 1997
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
10 Using Catamorphisms, Subtypes and Monad Transformers for Writing Modular Functional Interpreters. – Luc Duponcheel - 1995
Presheaf models for the π-calculus – Ian Stark - 1997
55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
Extensible Effects An Alternative to Monad Transformers – Oleg Kiselyov, Amr Sabry, Cameron Swords
Monadic Methods – Wolfgang De, Meuter Theo D'hondt
19 The Design and Implementation of Mondrian – Erik Meijer, Koen Claessen - 1997
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner