E-LIB Suche - Ergebnisse für: Toninho, Bernardo

1

The Session Abstract Machine:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Caires, Luís ; Toninho, Bernardo - p. 206-235 , 2024

Link: https://doi.org/10.1007/..

2

Intuitionistic Metric Temporal Logic:

, In: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming,

De Sá, Luiz ; Toninho, Bernardo ; Pfenning, Frank - p. 1-13 , 2023

Link: https://dl.acm.org/doi/1..

3

Derivations with Holes for Concept-Based Program Synthesis:

, In: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,

Costa Seco, João ; Aldrich, Jonathan ; Carvalho, Luís.. - p. 63-79 , 2022

Link: https://dl.acm.org/doi/1..

4

A Decade of Dependent Session Types:

, In: 23rd International Symposium on Principles and Practice of Declarative Programming,

Toninho, Bernardo ; Caires, Luís ; Pfenning, Frank - p. 1-3 , 2021

Link: https://dl.acm.org/doi/1..

5

On Polymorphic Sessions and Functions: A Tale of Two (Fully..:

Toninho, Bernardo ; Yoshida, Nobuko
ACM Transactions on Programming Languages and Systems. 43 (2021) 2 - p. 1-55 , 2021

Link: https://doi.org/10.1145/..

6

On Polymorphic Sessions and Functions : A Tale of Two (F..:

Toninho, Bernardo ; Yoshida, Nobuko
ACM Transactions on Programming Languages and Systems (TOPLAS). 43 (2021) 2 - p. 1-55 , 2021

Link: https://dl.acm.org/doi/1..

7

Featherweight go:

Griesemer, Robert ; Hu, Raymond ; Kokke, Wen...
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-29 , 2020

Link: https://dl.acm.org/doi/1..

8

Featherweight go:

Griesemer, Robert ; Hu, Raymond ; Kokke, Wen...
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-29 , 2020

Link: https://doi.org/10.1145/..

9

Polymorphic Session Processes as Morphisms:

, In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science,

Toninho, Bernardo ; Yoshida, Nobuko - p. 101-117 , 2019

Link: https://doi.org/10.1007/..

10

Manifest Deadlock-Freedom for Shared Session Types:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Balzer, Stephanie ; Toninho, Bernardo ; Pfenning, Frank - p. 611-639 , 2019

Link: https://doi.org/10.1007/..

11

Refinement kinds: type-safe programming with practical type..:

Caires, Luís ; Toninho, Bernardo
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-30 , 2019

Link: https://dl.acm.org/doi/1..

12

Refinement kinds: type-safe programming with practical type..:

Caires, Luís ; Toninho, Bernardo
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-30 , 2019

Link: https://doi.org/10.1145/..

13

Interconnectability of Session-Based Logical Processes:

Toninho, Bernardo ; Yoshida, Nobuko
ACM Transactions on Programming Languages and Systems. 40 (2018) 4 - p. 1-42 , 2018

Link: https://doi.org/10.1145/..

14

A static verification framework for message passing in Go u..:

, In: Proceedings of the 40th International Conference on Software Engineering,

Lange, Julien ; Ng, Nicholas ; Toninho, Bernardo. - p. 1137-1148 , 2018

Link: https://dl.acm.org/doi/1..

15

Depending on Session-Typed Processes:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Toninho, Bernardo ; Yoshida, Nobuko - p. 128-145 , 2018

Link: https://doi.org/10.1007/..