The Theory of Fexprs is Trivial (1998)

Cached

Download Links

by Mitchell Wand
Citations:19 - 0 self

Active Bibliography

38 Reflection in logic, functional and object-oriented programming: a short comparative study – François-nicola Demers, Jacques Malenfant
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
13 Duplication and Partial Evaluation -- For a Better Understanding of Reflective Languages – Kenichi Asai , Satoshi Matsuoka, Akinori Yonezawa - 1996
Towards An Actual Gödel Machine Implementation: A Lesson in Self-Reflective Systems 1 – Bas R. Steunebrink, Jürgen Schmidhuber
12 An Introduction to Reflection-Oriented Programming – J.M. Sobel, Daniel P. Friedman - 1996
10 A Semantics of Introspection in a Reflective Prototype-Based Language – Jacques Malenfant, Christophe Dony, Pierre Cointe - 1996
Aspect-Oriented Programming versus Reflection – J. Malenfant, P. Cointe - 1996
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
3 Reflection and open implementations – Éric Tanter - 2009
18 Handling Control – Dorai Sitaram - 1993
32 Reasoning with Continuations II: Full Abstraction for Models of Control – Dorai Sitaram, Matthias Felleisen - 1990
35 Axiomatizing Reflective Logics and Languages – Manuel G. Clavel, José Meseguer - 1996
29 Declarative Continuations and Categorical Duality – Andrzej Filinski - 1989
23 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
24 The Boyer-Moore Prover and Nuprl: An Experimental Comparison – David Basin , Matt Kaufmann - 1991