Sciweavers

828 search results - page 5 / 166

» types 2000

19

CONCURRENCY
2000

96views more CONCURRENCY 2000»

Locality optimization in JavaParty by means of static type analysis

13 years 7 months ago

Locality optimization in JavaParty by means of static type analysis

Download www2.informatik.uni-erlangen.de

Michael Philippsen, Bernhard Haumacher

claim paper

Read More »

16

ENTCS
2000

52views more ENTCS 2000»

Developing Theories of Types and Computability via Realizability

13 years 7 months ago

Developing Theories of Types and Computability via Realizability

Download www.itu.dk

Lars Birkedal

claim paper

Read More »

26

JFP
2000

75views more JFP 2000»

Do we need dependent types?

13 years 7 months ago

Do we need dependent types?

Download www.brics.dk

Daniel Fridlender, Mia Indrika

claim paper

Read More »

19

LICS
2000
IEEE

106views Automated Reasoning» more LICS 2000»

A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping

13 years 12 months ago

A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping

Download www.pps.jussieu.fr

We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...

Alexandre Miquel

claim paper

Read More »

20

ICFP
2000
ACM

78views Programming Languages» more ICFP 2000»

Regular expression types for XML

13 years 12 months ago

Regular expression types for XML

Download www.cis.upenn.edu

Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce

claim paper

Read More »

« Prev « First page 5 / 166 Last » Next »