Search Sciweavers | Sciweavers

31686 search results - page 148 / 6338

» Resource typing in Guru

120

click to vote

ICFP
1998
ACM

75views Programming Languages» more ICFP 1998»

Encoding Types in ML-Like Languages

15 years 9 months ago

Download www.brics.dk

Zhe Yang

claim paper

Read More »

144

Voted

POPL
1998
ACM

109views Programming Languages» more POPL 1998»

From Polyvariant Flow Information to Intersection and Union Types

15 years 9 months ago

Download www.cs.ucla.edu

Jens Palsberg, Christina Pavlopoulou

claim paper

Read More »

116

click to vote

CSL
1998
Springer

81views Automated Reasoning» more CSL 1998»

Subtyping Functional+Nonempty Record Types

15 years 9 months ago

Download www.dbai.tuwien.ac.at

Sergei G. Vorobyov

claim paper

Read More »

125

click to vote

ECOOPW
1998
Springer

99views Distributed And Parallel Com...» more ECOOPW 1998»

Type-Safe Delegation for Dynamic Component Adaptation

15 years 9 months ago

Download javalab.cs.uni-bonn.de

Günter Kniesel

claim paper

Read More »

167

click to vote

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers