Search Sciweavers | Sciweavers

429 search results - page 16 / 86

» Parameter-free polymorphic types

click to vote

LICS
2005
IEEE

97views Automated Reasoning» more LICS 2005»

Recursive Polymorphic Types and Parametricity in an Operational Framework

15 years 7 months ago

Download www.pps.jussieu.fr

Paul-André Melliès, Jerome Vouillon

claim paper

Read More »

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

Download henning.makholm.net

Henning Makholm, J. B. Wells

claim paper

Read More »

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

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

Voted

ERSHOV
2001
Springer

98views Theoretical Computer Science» more ERSHOV 2001»

Binding-Time Analysis for Polymorphic Types

15 years 6 months ago

Download repository.readscheme.org

Rogardt Heldal, John Hughes

claim paper

Read More »

Voted

POPL
1994
ACM

87views Programming Languages» more POPL 1994»

The Typed Polymorphic Label-Selective lambda-Calculus

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers