Karl-Filip Faxen. A static semantics for Haskell. Journal of Functional Programming, 12(4&5):295-357, July 2002. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Chasing Bottoms - A Case Study in Program Verification in.. - Danielsson, Jansson (2004) (3 citations) (Correct)
No context found.
Karl-Filip Faxen. A static semantics for Haskell. Journal of Functional Programming, 12(4&5):295-357, July 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC