Seminarium: Kontynuacje: teoria i zastosowania
Instytut Informatyki UWr
Semestr letni 2010/11
Opis seminarium
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. operatorów sterowania
(np. call-with-current-continuation w języku Scheme). Kontynuacje
znajdują mnóstwo zastosowań zarówno teoretycznych, takich jak
semantyka denotacyjna skoków i izomorfizm Curry'ego-Howarda dla logiki
kasycznej, jak również praktycznych, takich jak programowanie z
nawrotami, programowanie współbieżne czy kompilacja jezyków
funkcyjnych.
W ramach seminarium prezentowane będą zarówno klasyczne jak i
najnowsze prace dotyczące teorii i zastosowań kontynuacji.
Czas i miejsce
- Seminarium: środa 12:15-14:00, sala 139
- Konsultacje: piątek 10:15-12:00, pokój 327
Terminarz:
|
Data
|
Temat
|
Prelegent
|
|
02.03.2011
|
Spotkanie organizacyjne
|
|
|
09.03.2011
|
John C. Reynolds, Definitional interpreters for higher-order programming languages
|
Aleksander Balicki
|
|
16.03.2011
|
Gordon Plotkin, Call-by-value, call-by-name and the lambda calculus
|
Krzysztof Sakwerda
|
|
23.03.2011
|
Christopher T. Haynes, Daniel P. Friedman and Mitchell Wand, Obtaining coroutines with continuations
|
Marcin Janczyk
|
|
30.03.2011
|
Christian Queinnec, The influence of browsers on evaluators or, continuations to program web servers
|
Jan Filipowski
|
|
06.04.2011
|
Timothy Griffin, A formulae-as-types notion of control
|
Piotr Bober
|
|
13.04.2011
|
Bruce Duba, Robert Harper i David MacQueen, Typing first-class continuations in ML
|
Piotr Polesiuk
|
|
20.04.2011
|
Olivier Danvy i Andrzej Filinski, Abstracting control
|
Maciej Kotowicz
|
|
27.04.2011
|
Przerwa świąteczna
|
|
|
04.05.2011
|
Andrzej Filinski, Representing monads
|
Wojciech Jedynak
|
|
11.05.2011
|
Seminarium odwołane
|
|
|
18.05.2011
|
Andrzej Filinski, Representing monads, c.d.
|
Wojciech Jedynak
|
|
26.05.2011
|
Seminarium instytutowe (godz. 14:15, s. 119):
Marek Materzok i Dariusz Biernacki, Subtyping delimited continuations
|
Marek Materzok
|
|
01.06.2011
|
Seminarium odwołane
(RDP 2011)
|
|
|
08.06.2011
|
Cormac Flanagan, Amr Sabry, Bruce Duba i Matthias Felleisen,
The essence of compiling with continuations
|
Paweł Wieczorek
|
| |