deniok: (typed lambda)
[personal profile] deniok
Вроде довольно интересно:
http://tomschrijvers.blogspot.com/2010/03/bruno-oliveira-and-i-are-working-on.html
Не забыть посмотреть внимательнее; прямая ссылка на pdf:
http://www.cs.kuleuven.be/~toms/Research/papers/monad_zipper_draft.pdf

Date: 2010-03-23 01:43 pm (UTC)
From: [identity profile] palm-mute.livejournal.com
Да вы что, это же человек-пароход. А вы работаете в K.U.Leuven?

Date: 2010-03-23 03:04 pm (UTC)
From: [identity profile] pod-baobabom.livejournal.com
Да, там.
Ну то, что Том крут, мы тут все в курсе - он периодически на семинарах докладывается. Но за всеми его работами я не слежу.

Profile

deniok: (Default)
deniok

February 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223 242526
2728     

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 13th, 2025 09:59 am
Powered by Dreamwidth Studios