Search Sciweavers | Sciweavers

493 search results - page 3 / 99

» types 1998

109

Voted

ICFP
1998
ACM

69views Programming Languages» more ICFP 1998»

Implementing Typed Intermediate Languages

15 years 7 months ago

Download myweb.brooklyn.liu.edu

Zhong Shao, Christopher League, Stefan Monnier

claim paper

Read More »

click to vote

ICFP
1998
ACM

75views Programming Languages» more ICFP 1998»

Encoding Types in ML-Like Languages

15 years 7 months ago

Download www.brics.dk

Zhe Yang

claim paper

Read More »

124

Voted

POPL
1998
ACM

109views Programming Languages» more POPL 1998»

From Polyvariant Flow Information to Intersection and Union Types

15 years 7 months ago

Download www.cs.ucla.edu

Jens Palsberg, Christina Pavlopoulou

claim paper

Read More »

Voted

CSL
1998
Springer

81views Automated Reasoning» more CSL 1998»

Subtyping Functional+Nonempty Record Types

15 years 7 months ago

Download www.dbai.tuwien.ac.at

Sergei G. Vorobyov

claim paper

Read More »

Voted

ECOOPW
1998
Springer

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

Type-Safe Delegation for Dynamic Component Adaptation

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers