Travelled to:3 × USA
Collaborated with:J.d.Rivières ∅ C.Hewitt P.Bishop I.Greif T.Matson R.Steiger
Talks about:reflect (2) implement (1) procedur (1) languag (1) semant (1) induct (1) evalu (1) actor (1) meta (1) lisp (1)
Person: Brian Cantwell Smith
DBLP: Smith:Brian_Cantwell
Contributed to:
1984
19841973Wrote 3 papers:
- LFP-1984-RivieresS #implementation
- The Implementation of Procedurally Reflective Languages (JdR, BCS), pp. 331–347.
- POPL-1984-Smith #lisp #semantics
- Reflection and Semantics in Lisp (BCS), pp. 23–35.
- POPL-1973-HewittBGSMS #induction
- Actor Induction and Meta-Evaluation (CH, PB, IG, BCS, TM, RS), pp. 153–168.