http://gup.ub.gu.se/records/fulltext/99880.pdf
Publikationsår: 2000
Författare: Koen Claessen, Peter Ljunglöf
Gup-länk: 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", }
