Sciweavers

1614 search results - page 10 / 323

» Polymorphism and Genetic Programming

132

ESOP
2006
Springer

93views Programming Languages» more ESOP 2006»

Approaches to Polymorphism in Classical Sequent Calculus

15 years 10 months ago

Approaches to Polymorphism in Classical Sequent Calculus

Download www.doc.ic.ac.uk

Alexander J. Summers, Steffen van Bakel

claim paper

Read More »

154

APLAS
2001
ACM

74views Programming Languages» more APLAS 2001»

Simple Type Inference for Structural Polymorphism

15 years 10 months ago

Simple Type Inference for Structural Polymorphism

Download caml.inria.fr

Jacques Garrigue

claim paper

Read More »

141

Voted

ESOP
2000
Springer

79views Programming Languages» more ESOP 2000»

Faithful Translations between Polyvariant Flows and Polymorphic Types

15 years 10 months ago

Faithful Translations between Polyvariant Flows and Polymorphic Types

Download reference.kfupm.edu.sa

Torben Amtoft, Franklyn A. Turbak

claim paper

Read More »

127

POS
1987
Springer

94views Programming Languages» more POS 1987»

Polymorphic Names, Types, Constancy and Magic in a Type Secure Persistent Object Store

15 years 10 months ago

Polymorphic Names, Types, Constancy and Magic in a Type Secure Persistent Object Store

Download www.cs.st-andrews.ac.uk

Malcolm P. Atkinson, Ronald Morrison

claim paper

Read More »

135

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

15 years 7 months ago

Relational Parametricity for a Polymorphic Linear Lambda Calculus

Download www.cis.upenn.edu

Jianzhou Zhao, Qi Zhang, Steve Zdancewic

claim paper

Read More »

« Prev « First page 10 / 323 Last » Next »