Search Sciweavers | Sciweavers

253 search results - page 8 / 51

» Session Types at the Mirror

click to vote

FOSSACS
2012
Springer

262views Software Engineering» more FOSSACS 2012»

Functions as Session-Typed Processes

12 years 3 months ago

Download www.cs.cmu.edu

We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...

Bernardo Toninho, Luís Caires, Frank Pfenni...

claim paper

Read More »

click to vote

SFM
2009
Springer

85views Formal Methods» more SFM 2009»

Fundamentals of Session Types

14 years 2 months ago

Download www.sti.uniurb.it

Vasco Thudichum Vasconcelos

claim paper

Read More »

click to vote

CONCUR
2010
Springer

162views Distributed And Parallel Com...» more CONCUR 2010»

Session Types as Intuitionistic Linear Propositions

13 years 8 months ago

Download www.cs.cmu.edu

Luís Caires, Frank Pfenning

claim paper

Read More »

click to vote

HASKELL
2008
ACM

124views Programming Languages» more HASKELL 2008»

Haskell session types with (almost) no class

13 years 8 months ago

Download www.ccs.neu.edu

Riccardo Pucella, Jesse A. Tov

claim paper

Read More »

click to vote

MSCS
2008

73views more MSCS 2008»

Bounded polymorphism in session types

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers