The Theory of Fexprs is Trivial (1998)

Cached

Download Links

by Mitchell Wand
Citations:21 - 0 self

Active Bibliography

39 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
10 A Semantics of Introspection in a Reflective Prototype-Based Language – Jacques Malenfant, Christophe Dony, Pierre Cointe - 1996
16 An Introduction to Reflection-Oriented Programming – J.M. Sobel, Daniel P. Friedman - 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
24 The Boyer-Moore Prover and Nuprl: An Experimental Comparison – David Basin , Matt Kaufmann - 1991
Author manuscript, published in "Proc. of Reflection 2001 (2001)" UML Reflections – Jean-marc Jézéquel, Jacques Malenfant, Gerson Sunyé - 2013
30 Declarative Continuations and Categorical Duality – Andrzej Filinski - 1989