The algebraic types with laws in MirandaTM - fixpoints of idempotent functions as types

Författare
Erik Marklund
Språk
Engelska
Förlag År Ort Om boken ISBN
Univ. 1995 Sverige, Umeå 45 sidor.