Open AccessRefinement types for Haskell
Author(s) -
Niki Vazou,
Eric L. Seidel,
Ranjit Jhala,
Dimitrios Vytiniotis,
Simon Peyton-Jones
Publication year - 2014
Publication title -
citeseer x (the pennsylvania state university)
Language(s) - Uncategorized
Resource type - Conference proceedings
DOI - 10.1145/2628136.2628161
Subject(s) - haskell , computer science , programming language , functional programming , type (biology) , expression (computer science) , regular expression , code (set theory) , property (philosophy) , source lines of code , theoretical computer science , algorithm , set (abstract data type) , software , ecology , philosophy , epistemology , 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