Compiling Untyped Lambda Calculus to lower-level code by game semantics and partial evaluation

Daniil Berezun, Neil Jones

3 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Compiling Untyped Lambda Calculus to lower-level code by game semantics and partial evaluation'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab