Search Sciweavers | Sciweavers

429 search results - page 16 / 86

» Parameter-free polymorphic types

132

click to vote

LICS
2005
IEEE

97views Automated Reasoning» more LICS 2005»

Recursive Polymorphic Types and Parametricity in an Operational Framework

15 years 11 months ago

Download www.pps.jussieu.fr

Paul-André Melliès, Jerome Vouillon

claim paper

Read More »

116

Voted

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 11 months ago

Download henning.makholm.net

Henning Makholm, J. B. Wells

claim paper

Read More »

128

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 11 months ago

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

119

click to vote

ERSHOV
2001
Springer

98views Theoretical Computer Science» more ERSHOV 2001»

Binding-Time Analysis for Polymorphic Types

15 years 10 months ago

Download repository.readscheme.org

Rogardt Heldal, John Hughes

claim paper

Read More »

114

click to vote

POPL
1994
ACM

87views Programming Languages» more POPL 1994»

The Typed Polymorphic Label-Selective lambda-Calculus

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers