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

Higher-order size checking without subtyping

Góbi, Attila; Shkaravska, Olha; van Eekelen, Marko (2013). Higher-order size checking without subtyping. Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers. Ed. Loidl, Hans-Wolfgang; Peña, Ricardo. Berlin: Springer, 53−68. (Lecture Notes in Computer Science; 7829). DOI: 10.1007/978-3-642-40447-4_4.
publitseeritud konverentsiettekanne
Góbi, Attila; Shkaravska, Olha; van Eekelen, Marko
  • Inglise
Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
Loidl, Hans-Wolfgang; Peña, Ricardo
Berlin
Springer
0302-9743
978-364240446-7 (print), 978-3-642-40447-4 (online)
Lecture Notes in Computer Science
7829
2013
5368
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Web of Science Book Citation Index, Web of Science Conference Proceedings Citation Index, Scopus refereeritud kogumikud)
Ei

Viited terviktekstile

doi.org/10.1007/978-3-642-40447-4_4

Seotud asutused

Lisainfo

Scopus, DBLP