User loginNavigation |
adriengPersonal informationFrance Theory and practice of computer programming, including synchronous data-flow programming, functional programming, game semantics and type theory. History5 years 12 weeks |
Browse archivesActive forum topics |