KnowledgeBase » SEMINAR » ID = 466

Formal Models for Nuprl Evaluator

by Aleksey Nogin
1997-1998

In this talk I am going to describe the explicit substitution and explicit sharing calculi as described in Explicit Substitution Survey by Kristoffer Roze and talk about the ideas to use them in improving and formalizing the Nuprl evaluator. ( http://www.brics.dk/LS/96/3/BRICS-LS-96-3/BRICS-LS-96-3.html)