Unfailing Haskell: A static checker for pattern matching (2005)

by Neil Mitchell , Colin Runciman
Venue:In TFP ’05: The 6th Symposium on Trends in Functional Programming
Citations:5 - 0 self