Type theory and functional programming

Simon Thompson
Bok · Engelsk · 1991

Utgitt	Wokingham : Addison-Wesley , 1991
Omfang	xv, 372 s.
Emner	Functional programming (Computer science) Type theory Funksjonell programmering Logikkprogrammering Vis mer... Typeteori edb logikk datatyper ctt
Dewey	005.11
ISBN	0201416670