LiquidHaskell

Emerging

7
Citations
39
Refs
2014
Year
Search Works
Work Details
  • DOI 10.1145/2775050.2633366
  • OpenAlex ID W4238823939
  • Type Article
  • Language EN
  • Published 03 Sep 2014
  • Volume 49 (12)
  • Pages 39–51
  • Source ACM SIGPLAN Notices
  • Publisher Association for Computing Machinery
  • FWCI 0.66
  • Countries 1
  • Institutions 1
  • Added 12 May 2022
  • Updated 16 Oct 2026
External Links
OpenAlex Record DOI Resolver
MENU
0

LiquidHaskell

Article 2014 EN

Haskell has many delightful features. Perhaps the one most beloved by its users is its type system that allows developers to specify and verify a variety of program properties at compile time. However, many properties, typically those that depend on relationships between program values are impossible, or at the very least, cumbersome to encode within the existing type system. Many such properties…

7

Citations

39

References

3

Authors

0.66

FWCI

Citations by Year
Last 5 years
Topics
Keywords
Authors & Affiliations
3 authors
#AuthorInstitutionsORCID
1 Niki Vazou University of California San D… (US)
2 Eric L. Seidel University of California San D… (US)
3 Ranjit Jhala University of California San D… (US)
Related Works
10

Data: OpenAlex