pl. Uniwersytecki
Zainteresowania
- computer programming
- lambda calculus
- programming languages
- λ calculus
- λ calculus
- reduction strategies
- abstract machines
- normalization by evaluation
- coq
- databases
Dyscyplina naukowa
- informatyka
Najnowsze publikacje
- A simple and efficient implementation of strong call by need by an abstract machine
- The zoo of lambda-calculus reduction strategies, and Coq
- An abstract machine for strong call by value
- A derived reasonable abstract machine for strong call by value
- Rachunek lambda dla początkujących
- Informatyka oparta na rachunkach
