1 Hit in 3.5 sec

The Thoralf plugin: for your fancy type needs

Divesh Otwani, Richard A. Eisenberg
2018 Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018  
In this paper, we (1) present a formal theory of reasoning about the correctness of type checker plugins for type indices, and, (2) apply this theory in creating Thoralf, a generic and extensible plugin  ...  Many fancy types (e.g., generalized algebraic data types, type families) require a type checker plugin.  ...  This material is based upon work supported by the National Science Foundation under Grant No. 1704041. 11 Though, it seems possible for a plugin to explore which assertions cause issues and reverse engineer  ... 
doi:10.1145/3242744.3242754 dblp:conf/haskell/OtwaniE18 fatcat:ugpvww3abfaitjbv2p2sjsdzha