The Theory of Fexprs is Trivial (1998)

Cached

Download Links

by Mitchell Wand
Citations:18 - 0 self

Active Bibliography

31 Reflection in logic, functional and object-oriented programming: a Short Comparative Study – François-Nicola Demers, Jacques Malenfant - 1995
11 A Generic Reification Technique for Object-Oriented Reflective Languages – Rémi Douence, Mario Südholt - 2001
First-class Interpreters: Illustrating the Limits Imposed by Representation in a Reflective Language – John Wiseman Simmons, II, John Wiseman, Simmons Ii, Daniel P. Friedman - 1993
The Next 700 Reflective Object-Oriented Languages – Remi Douence, Mario Südholt - 1999
4 Architecture Design and Compilation Techniques Using Partial Evaulation in Reflective Concurrent Object-Oriented Languages – Hidehiko Masuhara - 1999
8 A Semantics of Introspection in a Reflective Prototype-Based Language – Jacques Malenfant, Christophe Dony, Pierre Cointe - 1996
13 Duplication and Partial Evaluation -- For a Better Understanding of Reflective Languages – Kenichi Asai , Satoshi Matsuoka, Akinori Yonezawa - 1996
10 An Introduction to Reflection-Oriented Programming – J.M. Sobel, Daniel P. Friedman - 1996
Aspect-Oriented Programming versus Reflection – J. Malenfant, P. Cointe - 1996
33 Axiomatizing Reflective Logics and Languages – Manuel G. Clavel, José Meseguer - 1996
3 Reflection and open implementations – Éric Tanter - 2009
17 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
Presented is the Data Independent Accessing Model (DIAM)- a – unknown authors
6 Sassy: A Language and Optimizing Compiler for Image Processing on Reconfigurable Computing Systems – Jeffrey P Hammes, Bruce A Draper, A P Willem Böhm - 1999
17 Handling Control – Dorai Sitaram - 1993
27 Declarative Continuations and Categorical Duality – Andrzej Filinski - 1989
29 Reasoning with Continuations II: Full Abstraction for Models of Control – Dorai Sitaram, Matthias Felleisen - 1990
23 The Boyer-Moore Prover and Nuprl: An Experimental Comparison – David Basin , Matt Kaufmann - 1991
A simple language for generic dialogues: "Speech acts" for communication – Stefano A. Cerri - 135