Questions tagged [reflection]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
66 views

Lambda calculus and runtime inspection of the term

This is possibly related to reflection and quoting but I don't want to assume anything beforehand. Here is my requirement. My typed lambda calculus (Curry style) is a simpler variant of Calculus of ...
Ram's user avatar
  • 31
7 votes
1 answer
801 views

What is an reflective tower?

I've just read in a discussion about dynamic typing Reflective towers is an open problem for statically typed languages. What are reflective towers? I think it might be related to reflection, ...
Martin Thoma's user avatar
  • 2,360
25 votes
5 answers
1k views

$\lambda$-calculus with reflection

I'm looking for a simple calculus that supports reasoning about reflection, namely, the introspection and manipulation of running programs. Is there an untyped $\lambda$-calculus extension that ...
Dave Clarke's user avatar
  • 20.2k
6 votes
1 answer
351 views

Reflection on Concurrency

Reflection is a common mechanism for accessing and changing the structure of a program at run-time, found in many dynamic programming languages such as Smalltalk, Ruby and Python, and in impoverished ...
Dave Clarke's user avatar
  • 20.2k