Search Sciweavers | Sciweavers

429 search results - page 19 / 86

» Polymorphic typed defunctionalization

129

click to vote

APLAS
2000
ACM

107views Programming Languages» more APLAS 2000»

A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms

15 years 7 months ago

Download ropas.snu.ac.kr

We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...

Oukseh Lee, Kwangkeun Yi

claim paper

Read More »

109

click to vote

LICS
2005
IEEE

97views Automated Reasoning» more LICS 2005»

Recursive Polymorphic Types and Parametricity in an Operational Framework

15 years 8 months ago

Download www.pps.jussieu.fr

Paul-André Melliès, Jerome Vouillon

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

15 years 8 months ago

Download henning.makholm.net

Henning Makholm, J. B. Wells

claim paper

Read More »

106

click to vote

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

15 years 8 months ago

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

click to vote

ERSHOV
2001
Springer

98views Theoretical Computer Science» more ERSHOV 2001»

Binding-Time Analysis for Polymorphic Types

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers