Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

90

MSCS
2008

73views more MSCS 2008»

Bounded polymorphism in session types

15 years 2 months ago

Bounded polymorphism in session types

Download www.dcs.gla.ac.uk

Simon J. Gay

Real-time Traffic

MSCS 2008 |

claim paper

Related Content

» Linear type theory for asynchronous session types

» Polymorphic Directional Types for Logic Programming

» Phantom types and subtyping

» PolyA True Type Polymorphism for Mobile Ambients

» FBounded Polymorphism for ObjectOriented Programming

» A type directed translation of MLF to system F

» Amortized Resource Analysis with Polymorphic Recursion and Partial BigStep Operational Sem...

» Subtyping Recursive Types in Kernel Fun

» An extension of HMX with bounded existential and universal datatypes

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2008
Where	MSCS
Authors	Simon J. Gay

Comments (0)