Travelled to:1 × Denmark
1 × France
1 × Italy
2 × Estonia
Collaborated with:L.Caires F.Pfenning N.Yoshida J.A.Pérez S.Balzer H.DeYoung J.Lange N.Ng
Talks about:session (8) type (7) function (3) linear (3) base (3) polymorph (2) communic (2) program (2) process (2) logic (2)
Person: Bernardo Toninho
DBLP: Toninho:Bernardo
Contributed to:
2013
20122012
2012
201120182019
2019
2017Wrote 10 papers:
- ESOP-2013-CairesPPT #behaviour #communication #morphism #parametricity #polymorphism
- Behavioral Polymorphism and Parametricity in Session-Based Communication (LC, JAP, FP, BT), pp. 330–349.
- ESOP-2013-ToninhoCP #higher-order #integration #monad #process
- Higher-Order Processes, Functions, and Sessions: A Monadic Integration (BT, LC, FP), pp. 350–369.
- CSL-2012-DeYoungCPT #communication #linear #logic #reduction
- Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication (HD, LC, FP, BT), pp. 228–242.
- ESOP-2012-PerezCPT #concurrent #linear #logic
- Linear Logical Relations for Session-Based Concurrency (JAP, LC, FP, BT), pp. 539–558.
- FoSSaCS-2012-ToninhoCP #process
- Functions as Session-Typed Processes (BT, LC, FP), pp. 346–360.
- PPDP-2011-ToninhoCP #linear #type system
- Dependent session types via intuitionistic linear type theory (BT, LC, FP), pp. 161–172.
- ESOP-2018-ToninhoY #encoding #on the #polymorphism
- On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings (BT, NY), pp. 827–855.
- ESOP-2019-BalzerTP
- Manifest Deadlock-Freedom for Shared Session Types (SB, BT, FP), pp. 611–639.
- OOPSLA-2019-CairesT #programming #refinement #type safety
- Refinement kinds: type-safe programming with practical type-level computation (LC, BT), p. 30.
- POPL-2017-LangeNTY #liveness #programming #safety
- Fencing off go: liveness and safety for channel-based programming (JL, NN, BT, NY), pp. 748–761.