Applications of Extended Static Checking
Abstract elided by the publisher.
Related papers
- Extended static checking for haskell Haskell 2006
- Extended Static Checking for Java PLDI 2002
- The jastadd extensible java compiler OOPSLA 2007
- Typing dynamic typing ICFP 2002
- Xmonad Haskell 2007
- Foundations of Typestate-Oriented Programming TOPLAS 2014
- Gradual type-and-effect systems JFP 2016
- Higher-Order MSL Horn Constraints POPL 2023