Typed logical variables in Haskell
Artikel i vetenskaplig tidskrift, 2000
Författare
Koen Lindström Claessen
Institutionen för datavetenskap
Peter Ljunglöf
Institutionen för datavetenskap
Electronic Notes in Theoretical Computer Science
Vol. 41 1
Ämneskategorier
Datavetenskap (datalogi)