BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Toninho:Bernardo

Contributed to:

ESOP 20132013
CSL 20122012
ESOP 20122012
FOSSACS 20122012
PPDP 20112011
ESOP 20182018
ESOP 20192019
OOPSLA 20192019
POPL 20172017

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.