http://gup.ub.gu.se/records/fulltext/99880.pdf
Publication year: 2000
Authors: Koen Claessen, Peter Ljunglöf
Gup link: Link to gup
@article{KoenClaessen2000-36, title = "Typed logical variables in Haskell", author = "Koen Claessen and Peter Ljunglöf", year = "2000", volume = "41", number = "1", url = "http://gup.ub.gu.se/records/fulltext/99880.pdf", }
