Design and Definition of CeXL and ξ-Calculus Version 0.9.3 ´ Anoq of the Sun, Hardcore Processing - Hindley - Document - PDFSEARCH.IO

First Page	Meta Content
	Design and Definition of CeXL and ξ-Calculus Version 0.9.3 ´ Anoq of the Sun, Hardcore Processing Add to Reading List Document Date: 2015-04-10 16:01:05 Open Document File Size: 862,25 KB Share Result on Facebook Facility University of Copenhagen / / IndustryTerm type inference algorithm / compiler technology / / MusicGroup Presence / Absence / / Organization University of Copenhagen / Computer Science Department / / Person Meta Variables / Johnny Bock Andersen / / Position General / author / programmer / / ProgrammingLanguage Standard ML / / Technology type inference algorithm / compiler technology / / URL http / SocialTag Type theory Functional languages Data types Procedural programming languages Subroutines ML Type system Type inference Hindley–Milner Software engineering

Design and Definition of CeXL and ξ-Calculus Version 0.9.3 ´ Anoq of the Sun, Hardcore ProcessingAdd to Reading List