| Document Date: 2009-12-15 04:49:16 Open Document File Size: 609,80 KBShare Result on Facebook
City Edinburgh / / Company Computer Sciences / / Country United Kingdom / France / / / Facility University of Savoie / Campus Scientifique / Heriot-Watt University / / IndustryTerm constructor applications / enriched type systems / / Organization University of Savoie / Tom Hirschowitz Department of Mathematics / Heriot-Watt University / J. B. Wells School of Mathematical / / Person Xavier Leroy / Tom Hirschowitz / / Position editor / / ProgrammingLanguage Haskell / C / Standard ML / A # / / Technology dom / /
SocialTag |