See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Declarative programming in a type theory

Tyugu, E. (1991). Declarative programming in a type theory. Constructing programs from specifications : proceedings of the IFIP TC2/WG 2:1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA ... 1991. Ed. Möller, B. Amsterdam: North-Holland, 451−472.
publitseeritud konverentsiettekanne
Tyugu, E.
  • Inglise
Constructing programs from specifications : proceedings of the IFIP TC2/WG 2:1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA ... 1991
Möller, B.
Amsterdam
North-Holland
1991
451472
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

Lisainfo