Kontynuacja reprezentuje pozostałą do wykonania część programu w danym punkcie
jego egzekucji. W językach funkcyjnych, kontynuacje dostępne są albo
bezpośrednio, przy użyciu tzw. stylu przekazywania kontynuacji (continuation-
passing style, CPS), albo pośrednio, przy użyciu tzw. operatorow sterowania
(np. call-with-current-continuation w języku Scheme). Kontynuacje znajdują
mnostwo zastosowań zarowno teoretycznych, takich jak semantyka denotacyjna
skokow i izomorfizm Curry'ego-Howarda dla logiki kasycznej, jak rownież
praktycznych, takich jak programowanie z nawrotami, programowanie wspołbieżne
czy kompilacja jezykow funkcyjnych.
W ramach seminarium prezentowane będą zarowno klasyczne jak i najnowsze prace
dotyczące teorii i zastosowań kontynuacji. (Poniżej niekompletna lista
wybranych prac na temat kontynuacji.)
**Program:** **Wymagania:** Logika dla informatyk ow Programowanie
