Search Sciweavers | Sciweavers

128 search results - page 1 / 26

» Union types for object-oriented programming

click to vote

BIRTHDAY
2008
Springer

119views Applied Computing» more BIRTHDAY 2008»

Session and Union Types for Object Oriented Programming

13 years 6 months ago

Download rap.dsi.unifi.it

In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...

Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani...

claim paper

Read More »

click to vote

PLDI
1990
ACM

103views Programming Languages» more PLDI 1990»

Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs

13 years 8 months ago

Download selflanguage.org

Craig Chambers, David Ungar

claim paper

Read More »

click to vote

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

13 years 8 months ago

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »

click to vote

ECOOP
1995
Springer

138views Programming Languages» more ECOOP 1995»

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

13 years 8 months ago

Download www.cs.mun.ca

Kim B. Bruce, Angela Schuett, Robert van Gent

claim paper

Read More »

click to vote

POPL
2010
ACM

186views Programming Languages» more POPL 2010»

Modular Session Types for Distributed Object-Oriented Programming

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers