Search Sciweavers | Sciweavers

6503 search results - page 1 / 1301

» Type Systems for Programming Languages

click to vote

ESOP
2004
Springer

96views Programming Languages» more ESOP 2004»

System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types

13 years 10 months ago

Download www.macs.hw.ac.uk

Sébastien Carlier, Jeff Polakow, J. B. Well...

claim paper

Read More »

click to vote

PLSA
1994

135views Programming Languages» more PLSA 1994»

Engineering a Programming Language: The Type and Class System of Sather

13 years 9 months ago

Download research.microsoft.com

Clemens A. Szyperski, Stephen M. Omohundro, Stepha...

claim paper

Read More »

click to vote

POPL
1999
ACM

105views Programming Languages» more POPL 1999»

A Simple, Comprehensive Type System for Java Bytecode Subroutines

13 years 9 months ago

Download www.cs.cmu.edu

Robert O'Callahn

claim paper

Read More »

click to vote

APLAS
2001
ACM

90views Programming Languages» more APLAS 2001»

A Type System for the Push-Enter Model

13 years 9 months ago

Download www.jaist.ac.jp

Kwanghoon Choi, Taisook Han

claim paper

Read More »

click to vote

ESOP
2005
Springer

117views Programming Languages» more ESOP 2005»

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers