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

14 years 24 days 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

14 years 2 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

14 years 3 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

14 years 2 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 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers