Containers: Constructing strictly positive types
Michael Abbott, Thorsten Altenkirch, Neil GhaniVolume:
342
Year:
2005
Language:
english
Pages:
25
DOI:
10.1016/j.tcs.2005.06.002
File:
PDF, 352 KB
english, 2005