Sciweavers

429 search results - page 3 / 86

» Polymorphic typed defunctionalization

11

TOPLAS
1998

62views more TOPLAS 1998»

Proofs about a Folklore Let-Polymorphic Type Inference Algorithm

13 years 7 months ago

Proofs about a Folklore Let-Polymorphic Type Inference Algorithm

Download www.cs.washington.edu

Oukseh Lee, Kwangkeun Yi

claim paper

Read More »

17

JFP
2010

63views more JFP 2010»

Parametricity, type equality, and higher-order polymorphism

13 years 6 months ago

Parametricity, type equality, and higher-order polymorphism

Download www.cis.upenn.edu

Dimitrios Vytiniotis, Stephanie Weirich

claim paper

Read More »

13

SCP
2010

88views more SCP 2010»

Type-directed weaving of aspects for polymorphically typed functional languages

13 years 5 months ago

Type-directed weaving of aspects for polymorphically typed functional languages

Download www.comlab.ox.ac.uk

Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Kh...

claim paper

Read More »

20

CORR
2010
Springer

63views Education» more CORR 2010»

Subject reduction in a Curry-style polymorphic type system with a vectorial structure

13 years 2 months ago

Subject reduction in a Curry-style polymorphic type system with a vectorial structure

Download membres-liglab.imag.fr

Pablo Arrighi, Alejandro Díaz-Caro, Beno&ic...

claim paper

Read More »

20

TLDI
2003
ACM

108views Formal Methods» more TLDI 2003»

Inferring annotated types for inter-procedural register allocation with constructor flattening

14 years 23 days ago

Inferring annotated types for inter-procedural register allocation with constructor flattening

Download people.cis.ksu.edu

We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...

Torben Amtoft, Robert Muller

claim paper

Read More »

« Prev « First page 3 / 86 Last » Next »