ResearcherID.com
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: 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
DOI: 10.1007/978-3-662-49630-5_6
added
22-Mar-16
2. 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
3. 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
4. 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
DOI: 10.1145/3022670.2951939
added
11-Dec-16
5. 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
6. 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
7. 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: 0
DOI: 10.4204/EPTCS.207.4
added
08-Apr-16
8. Title: A hoare logic for the coinductive trace-based big-step semantics of while
Author(s): Nakata, K.; Uustalu, T.
Source: Logical Methods in Computer Science Volume: 11 Issue: 1 Published: 2015
Times Cited: 1
DOI: 10.2168/LMCS-11(1:1)2015 / Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84927614414&partnerID=MN8TOAR ...
added
14-Jul-15
9. Title: Certified Normalization of Context-Free Grammars
Author(s): Denis Firsov; Tarmo Uustalu
Conference: Proceedings of the 2015 Conference on Certified Programs and Proofs - {CPP} {\textquotesingle}15 Year: 2015
DOI: 10.1145/2676724.2693177
added
14-Jul-15
10. Title: Dependently typed programming with finite sets
Author(s): Denis Firsov; Tarmo Uustalu
Conference: Proceedings of the 11th {ACM} {SIGPLAN} Workshop on Generic Programming - {WGP} 2015 Year: 2015
DOI: 10.1145/2808098.2808102
added
20-Sep-15
publication(s)  
First Page Previous Page Page   of  9  Go Next Page Last Page
  Sort by:    Results per page: