Moje najważniejsze osiągnięcia naukowe dotyczą semantyki języków programowania
wyższego rzędu z kontynuacjami oraz jej zastosowań w zakresie implementacji języków …