T. Uustalu
AuthID: R-006-DH9
1
TITLE: Plotkin's call-by-value λ-calculus as a modal calculus
AUTHORS: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLISHED: 2022, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 127
AUTHORS: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLISHED: 2022, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 127
INDEXED IN: Scopus CrossRef
2
TITLE: <p>Plotkin?s call-by-value ?-calculus as a modal calculus</p>
AUTHORS: Santo, Jose Espirito; Pinto, Luis; Uustalu, Tarmo;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 127
AUTHORS: Santo, Jose Espirito; Pinto, Luis; Uustalu, Tarmo;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 127
INDEXED IN: WOS
3
TITLE: Modal embeddings and calling paradigms
AUTHORS: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLISHED: 2019, SOURCE: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 131
AUTHORS: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLISHED: 2019, SOURCE: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 131
INDEXED IN: Scopus
4
TITLE: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings
AUTHORS: Bernd Fischer; Tarmo Uustalu;
PUBLISHED: 2018, SOURCE: ICTAC, VOLUME: 11187
AUTHORS: Bernd Fischer; Tarmo Uustalu;
PUBLISHED: 2018, SOURCE: ICTAC, VOLUME: 11187
INDEXED IN: DBLP
5
TITLE: Relating sequent calculi for Bi-intuitionistic propositional logic Full Text
AUTHORS: Pinto, L; Uustalu, T;
PUBLISHED: 2011, SOURCE: 3rd International Workshop on Classical Logic and Computation, CLaC 2010 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 47
AUTHORS: Pinto, L; Uustalu, T;
PUBLISHED: 2011, SOURCE: 3rd International Workshop on Classical Logic and Computation, CLaC 2010 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 47
INDEXED IN: Scopus CrossRef
6
TITLE: Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
AUTHORS: Luis Pinto ; Tarmo Uustalu;
PUBLISHED: 2009, SOURCE: 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods in AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, VOLUME: 5607
AUTHORS: Luis Pinto ; Tarmo Uustalu;
PUBLISHED: 2009, SOURCE: 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods in AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, VOLUME: 5607
7
TITLE: Bidirectional data-flow analyses, type-systematically
AUTHORS: Frade, MJ ; Saabas, A; Uustalu, T;
PUBLISHED: 2009, SOURCE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09
AUTHORS: Frade, MJ ; Saabas, A; Uustalu, T;
PUBLISHED: 2009, SOURCE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09
8
TITLE: Foundational certification of data-flow analyses
AUTHORS: Maria Joao Frade ; Ando Saabas; Tarmo Uustalu;
PUBLISHED: 2007, SOURCE: 1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering in TASE 2007: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Proceedings
AUTHORS: Maria Joao Frade ; Ando Saabas; Tarmo Uustalu;
PUBLISHED: 2007, SOURCE: 1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering in TASE 2007: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Proceedings
9
TITLE: Generalizing substitution
AUTHORS: Uustalu, T;
PUBLISHED: 2003, SOURCE: 4th Satellite Workshop on Fixed Points in Computer Science (FICS 2002) in RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 37, ISSUE: 4
AUTHORS: Uustalu, T;
PUBLISHED: 2003, SOURCE: 4th Satellite Workshop on Fixed Points in Computer Science (FICS 2002) in RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 37, ISSUE: 4
INDEXED IN: WOS CrossRef
10
TITLE: CPS translating inductive and coinductive types
AUTHORS: Barthe, G; Uustalu, T;
PUBLISHED: 2002, SOURCE: ACM/SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 02) in ACM SIGPLAN NOTICES, VOLUME: 37, ISSUE: 3
AUTHORS: Barthe, G; Uustalu, T;
PUBLISHED: 2002, SOURCE: ACM/SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 02) in ACM SIGPLAN NOTICES, VOLUME: 37, ISSUE: 3
INDEXED IN: WOS CrossRef