Lambda the Ultimate
User loginNavigation |
Francois PottierPersonal informationSenior researcher at INRIA, Rocquencourt, France. Programming languages and type systems. Proofs of programs. History4 years 2 weeks Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more) Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation |
Browse archivesActive forum topics |