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  10  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Container Combinatorics: Monads and Lax Monoidal Functors
 Author(s): Tarmo Uustalu
 Source: Topics in Theoretical Computer Science Pages: 91--105 Published: 2017
 DOI: 10.1007/978-3-319-68953-1_8
added
16-Oct-17
2.  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
3.  Title: Formalizing Restriction Categories
 Author(s): Chapman, James; Uustalu, Tarmo; Veltri, Niccolo
 Source: Journal of Formalized Reasoning Volume: 10 Issue: 1 Pages: 1-36 Published: 2017
 Times Cited: 0
added
22-Aug-17
4.  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
5.  Title: Quotienting the delay monad by weak bisimilarity
 Author(s): JAMES CHAPMAN; TARMO UUSTALU; NICCOLÒ VELTRI
 Source: Mathematical Structures in Computer Science Published: 2017
 DOI: 10.1017/S0960129517000184 /  Author-provided URL : https://doi.org/10.1017/S0960129517000184
added
18-Oct-17
6.  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
7.  Title: The Delay Monad and Restriction Categories
 Author(s): Tarmo Uustalu; Niccolo Veltri
 Source: Theoretical Aspects of Computing – ICTAC 2017 Pages: 32--50 Published: 2017
 DOI: 10.1007/978-3-319-67729-3_3
added
30-Sep-17
8.  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
9.  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
10.  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
publication(s)  
First Page Previous Page Page   of  10  Go Next Page Last Page
  Sort by:    Results per page: