Languages
Uustalu, Tarmo.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Mathematics of Program Construction8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /
by:
(1998 :); SpringerLink (Online service); Uustalu, Tarmo.
(Electronic resources)
Advanced Functional Programming5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
by:
(1998 :); SpringerLink (Online service); Uustalu, Tarmo.; Vene, Varmo.
(Electronic resources)
Theoretical aspects of computing - ICTAC 201815th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings /
by:
(1998 :); Fischer, Bernd.; SpringerLink (Online service); Uustalu, Tarmo.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computer programming
Programming Languages, Compilers, Interpreters.
Software engineering.
Computer science
Functional programming (Computer science)
Computer Science.
Computer science.