 |
T. Uustalu, J. Vain, guest eds. J. of Log. and Algebr. Meth. in
Program., virtual special issue for 31st
Nordic Wksh. on Programming Theory, NWPT 2019 (Tallinn,
Nov. 2019), in preparation. |
 |
B. Fischer, T. Uustalu, guest eds. Theor. Comput. Sci.,
virtual special issue for 15th Int. Coll. on Theoretical
Aspects of Computer Science, ICTAC 2018 (Stellenbosch, Oct. 2018),
in preparation. |
 | B. Fischer, T.
Uustalu, eds. Proc. of 15th Int. Coll. on Theoretical Aspects of
Computer Science, ICTAC 2018 (Stellenbosch, Oct. 2018), v. 11187 of
Lect. Notes in Comput. Sci., xvii+533 pp. Springer, 2018. doi:
10.1007/978-3-030-02508-3, volume
in Google Books (© Springer) - amazon.com |
|
T. Uustalu, ed. Proc. of 21st Int. Wksh. on Types for Proofs
and Programs, TYPES 2015 (Tallinn, May 2015), v. 69 of Leibniz
Int. Proc. in Inf., x+250 pp. Dagstuhl Publishing, 2018.
volume at publisher (© the authors) |
|
T. Uustalu, J. Vain, guest eds. J. of Log. and Algebr. Meth. in
Program., v. 85, n. 6 (special issue for 25th
Nordic Wksh. on Programming Theory, NWPT 2013, Tallinn,
Nov. 2013), pp. 1109-1317, 2016. issue at publisher
(© Elsevier Science) |
 |
N. Swamy, T. Uustalu, guest eds. J. of Funct. Program.,
v. 25, articles e10, e12, e18; v. 26, articles e1, e2, e4 (collection
for 18th Int. Conf. on Functional Programming, ICFP '13, Boston, MA,
Sept. 2013), 2015-2016. collection
at publisher (© Cambridge Univ. Press) |
 |
G. Morrisett, T. Uustalu, guest eds.
ACM SIGPLAN Notices, v. 48, n. 9, xii+469 pp, 2013. ACM Press,
2013. (Reprint of Proc. of ICFP '13.) doi: 10.1145/2544174
(© ACM and the authors) |
 |
G. Morrisett, T. Uustalu, eds. Proc. of 18th ACM SIGPLAN
Int. Conf. on Functional Programming, ICFP '13 (Boston, MA,
Sept. 2013), xii+469 pp. ACM Press, 2013. doi: 10.1145/2500365 (©
ACM and the authors) - amazon.com |
 |
R. Matthes, T. Uustalu, guest eds. Theor. Inform. and
Appl., v. 47, n. 1 (special issue for 6th Wksh. on Fixed Points in
Computer Science, FICS 2009, Coimbra, Sept. 2009), pp. 1-132, 2013. issue
at publisher (© EDP Sciences) |
 |
T. Altenkirch, T. Uustalu, guest eds. Fundam. Inform.,
v. 102, v. 2 (special issue on Dependently Typed Programming),
pp. 145-228, 2010. issue
at publisher (© IOS Press) |
 |
T. Uustalu, J. Vain, guest eds. J. of Log. and
Algebr. Program., v. 79, n. 7 (special issue for 20th Nordic
Wksh. on Programming Theory, NWPT 2008, Tallinn, Nov. 2008),
pp. 435-703, 2010. issue at publisher
(open access) (© Elsevier Science) |
 |
R. Matthes, T. Uustalu, eds. Proc. of 6th Wksh. on Fixed Points
in Computer Science, FICS 2009 (Coimbra, Sept. 2009), 124
pp. Inst. of Cybernetics, 2009. volume at publisher (open access) |
 | C. McBride,
T. Uustalu, guest eds. J. of Funct. Program., v. 19, n. 3-4
(special issue for Wksh. on Mathematically Structured Functional
Programming, MSFP 2006, Kuressaare, July 2006), pp. 263-488, 2009. issue
at publisher (© Cambridge Univ. Press) |
 |
T. Uustalu, guest ed. Sci. of Comput. Program., v. 74, n. 8
(special issue for 8th Int. Conf. on Mathematics of Program
Construction, MPC 2006, Kuressaare, July 2006), pp. 497-668, 2009. issue
at publisher (open access) (© Elsevier Science) |
|
C. McBride, T. Uustalu, eds. Proc. of Wksh. on Mathematically
Structured Functional Programming, MSFP 2006 (Kuressaare, July
2006), Electron. Wkshs. in Computing. British Comput. Soc.,
2006. volume at ScienceOpen (open access) (© British
Comput. Soc.) |
 |
T. Uustalu, ed. Proc. of 8th Int. Conf. on Mathematics of
Program Construction, MPC 2006 (Kuressaare, July 2006), v. 4014
of Lect. Notes in Comput. Sci., x+455 pp. Springer, 2006. doi: 10.1007/11783596, volume in Google
Books (© Springer) - amazon.com |
 |
V. Vene, T. Uustalu, eds. Revised Lectures from 5th Int. School
on Advanced Functional Programming, AFP 2004 (Tartu, Aug. 2004),
v. 3622 of Lect. Notes in Comput. Sci., x+357 pp. Springer,
2005. doi: 10.1007/11546382,
volume in Google
Books (© Springer) - amazon.com |
 |
J. Vain, T. Uustalu, guest eds., Proc. of Estonian Acad. of
Sci., Phys., Math., v. 52, n. 4 (special issue for 14th Nordic
Wksh. in Programming Theory, NWPT '02, Tallinn, Nov. 2002),
pp. 333-436, 2003. issue in Google
Books (© Estonian Academy Publishers) |