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

Program and proof optimizations with type systems

Saabas, Ando; Uustalu, Tarmo (2008). Program and proof optimizations with type systems. The Journal of Logic and Algebraic Programming, 77, 131−154.10.1016/j.jlap.2008.05.007.
ajakirjaartikkel
Saabas, Ando; Uustalu, Tarmo
  • Inglise
The Journal of Logic and Algebraic Programming
1567-8326
77
2008
131154
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
WOS

Viited terviktekstile

dx.doi.org/10.1016/j.jlap.2008.05.007