CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Normalization and Partial Evaluation

Peter Dybjer (Institutionen för datavetenskap, Programmeringslogik) ; Andrzej Filinski
Lecture Notes in Computer Science. International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 (0302-9743). Vol. 2395 (2002), p. 137-192 .
[Konferensbidrag, refereegranskat]

We give an introduction to normalization by evaluation and type-directed partial evaluation. We first present normalization by evaluation for a combinatory version of Gödel System T. Then we show normalization by evaluation for typed lambda calculus with β and η conversion. Finally, we introduce the notion of binding time, and explain the method of type-directed partial evaluation for a small PCF-style functional programming language. We give algorithms for both call-by-name and call-by-value versions of this language.

Denna post skapades 2006-08-25. Senast ändrad 2013-01-14.
CPL Pubid: 17640


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för datavetenskap, Programmeringslogik (2002-2004)


Annan matematik

Chalmers infrastruktur