Search Sciweavers | Sciweavers

128 search results - page 1 / 26

» Union types for object-oriented programming

150

click to vote

BIRTHDAY
2008
Springer

119views Applied Computing» more BIRTHDAY 2008»

Session and Union Types for Object Oriented Programming

15 years 4 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 »

125

Voted

PLDI
1990
ACM

103views Programming Languages» more PLDI 1990»

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

15 years 7 months ago

Download selflanguage.org

Craig Chambers, David Ungar

claim paper

Read More »

138

click to vote

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

15 years 7 months ago

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »

100

click to vote

ECOOP
1995
Springer

138views Programming Languages» more ECOOP 1995»

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

15 years 6 months ago

Download www.cs.mun.ca

Kim B. Bruce, Angela Schuett, Robert van Gent

claim paper

Read More »

121

click to vote

POPL
2010
ACM

186views Programming Languages» more POPL 2010»

Modular Session Types for Distributed Object-Oriented Programming

16 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers