ResearcherID Thomson Reuters  

Uustalu, Tarmo
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: I-1242-2015
URL: http://www.researcherid.com/rid/I-1242-2015
Subject: Computer Science; Mathematics
ORCID: http://orcid.org/0000-0002-1297-0579
My Institutions (more details)
Primary Institution:
Sub-org/Dept:
Role:
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  9  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Finiteness and rational sequences, constructively
 Author(s): TARMO UUSTALU; NICCOLO VELTRI
 Source: Journal of Functional Programming Volume: 27 Published: 2017
 Times Cited: 0
 DOI: 10.1017/S0956796817000041
added
07-Apr-17
2.  Title: Generating Representative Executions [Extended Abstract]
 Author(s): Hendrik Maarand; Tarmo Uustalu
 Source: Electronic Proceedings in Theoretical Computer Science Volume: 246 Pages: 39--48 Published: 2017
 Times Cited: 0
 DOI: 10.4204/EPTCS.246.8
added
10-Apr-17
3.  Title: Taking updates seriously
 Author(s): Ahman, D.; Uustalu, T.
 Conference: CEUR Workshop Proceedings Volume: 1827 Pages: 59-73 Year: 2017
 Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-85019214713&partnerID=MN8TOAR ...
added
29-May-17
4.  Title: A Coalgebraic View of Bar Recursion and Bar Induction
 Author(s): Venanzio Capretta; Tarmo Uustalu
 Source: Lecture Notes in Computer Science Pages: 91--106 Published: 2016
 Times Cited: 0
 DOI: 10.1007/978-3-662-49630-5_6
added
22-Mar-16
5.  Title: A Divertimento on {MonadPlus} and Nondeterminism
 Author(s): Tarmo Uustalu
 Source: Journal of Logical and Algebraic Methods in Programming Published: 2016
 Times Cited: 0
 DOI: 10.1016/j.jlamp.2016.06.004
added
28-Jun-16
6.  Title: Combining effects and coeffects via grading
 Author(s): Marco Gaboardi; Shin-ya Katsumata; Dominic Orchard; et al.
 Conference: Proceedings of the 21st {ACM} {SIGPLAN} International Conference on Functional Programming - {ICFP} 2016 Year: 2016
 DOI: 10.1145/2951913.2951939
added
02-Nov-16
7.  Title: Combining effects and coeffects via grading
 Author(s): Marco Gaboardi; Shin-ya Katsumata; Dominic Orchard; et al.
 Source: {ACM} {SIGPLAN} Notices Volume: 51 Issue: 9 Pages: 476--489 Published: 2016
 Times Cited: 0
 DOI: 10.1145/3022670.2951939
added
11-Dec-16
8.  Title: Directed Containers as Categories
 Author(s): Danel Ahman; Tarmo Uustalu
 Source: Electron. Proc. Theor. Comput. Sci. Volume: 207 Pages: 89--98 Published: 2016
 Times Cited: 0
 DOI: 10.4204/EPTCS.207.5
added
08-Apr-16
9.  Title: Guest editors{\textquotesingle} foreword
 Author(s): Tarmo Uustalu; Jüri Vain
 Source: Journal of Logical and Algebraic Methods in Programming Volume: 85 Issue: 6 Pages: 1109 Published: 2016
 Times Cited: 0
 DOI: 10.1016/j.jlamp.2016.10.004
added
02-Nov-16
10.  Title: Variations on Noetherianness
 Author(s): Denis Firsov; Tarmo Uustalu; Niccol{\`{o}} Veltri
 Source: Electron. Proc. Theor. Comput. Sci. Volume: 207 Pages: 76--88 Published: 2016
 Times Cited: 1
 DOI: 10.4204/EPTCS.207.4
added
08-Apr-16
publication(s)  
First Page Previous Page Page   of  9  Go Next Page Last Page
  Sort by:    Results per page: