Search Sciweavers | Sciweavers

1614 search results - page 8 / 323

» Polymorphism and Genetic Programming

click to vote

ICFP
1999
ACM

183views Programming Languages» more ICFP 1999»

Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML

14 years 28 days ago

Download www.pllab.riec.tohoku.ac.jp

This paper deﬁnes an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Diﬀerent from the conve...

Atsushi Ohori, Nobuaki Yoshida

claim paper

Read More »

click to vote

TLDI
2003
ACM

110views Formal Methods» more TLDI 2003»

Type-safe multithreading in cyclone

14 years 1 months ago

Download www.cs.washington.edu

We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...

Dan Grossman

claim paper

Read More »

click to vote

HASKELL
2006
ACM

129views Programming Languages» more HASKELL 2006»

Polymorphic variants in Haskell

14 years 2 months ago

Download guppy.eng.kagawa-u.ac.jp

In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept diﬀerent sets of constructors. Polymorphic variants are potenti...

Koji Kagawa

claim paper

Read More »

click to vote

ICFP
2003
ACM

120views Programming Languages» more ICFP 2003»

Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism

14 years 8 months ago