Open AccessSystem FC with explicit kind equality
Author(s) -
Stephanie Weirich,
Justin Hsu,
Richard A. Eisenberg
Publication year - 2013
Publication title -
acm sigplan notices
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.31
H-Index - 99
eISSN - 1558-1160
pISSN - 0362-1340
DOI - 10.1145/2544174.2500599
Subject(s) - computer science , programming language , haskell , type theory , axiom , compiler , mathematical proof , dependent type , type safety , type (biology) , decidability , type inference , theoretical computer science , algebra over a field , functional programming , lambda calculus , mathematics , artificial intelligence , pure mathematics , ecology , geometry , inference , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom