Sciweavers

10871 search results - page 116 / 2175

» A stable programming language

28

APLAS
2001
ACM

111views Programming Languages» more APLAS 2001»

Dynamic Control Operators in Type Theory

14 years 1 months ago

Dynamic Control Operators in Type Theory

Download www.jst.go.jp

Yukiyoshi Kameyama

claim paper

Read More »

31

APLAS
2001
ACM

90views Programming Languages» more APLAS 2001»

A Type System for the Push-Enter Model

14 years 1 months ago

A Type System for the Push-Enter Model

Download www.jaist.ac.jp

Kwanghoon Choi, Taisook Han

claim paper

Read More »

28

APLAS
2001
ACM

74views Programming Languages» more APLAS 2001»

Simple Type Inference for Structural Polymorphism

14 years 1 months ago

Simple Type Inference for Structural Polymorphism

Download caml.inria.fr

Jacques Garrigue

claim paper

Read More »

26

APLAS
2003
ACM

96views Programming Languages» more APLAS 2003»

Expressive Synchronization Types for Inheritance in the Join Calculus

14 years 1 months ago

Expressive Synchronization Types for Inheritance in the Join Calculus

Download hal.archives-ouvertes.fr

Qin Ma 0002, Luc Maranget

claim paper

Read More »

28

ESOP
2000
Springer

79views Programming Languages» more ESOP 2000»

Faithful Translations between Polyvariant Flows and Polymorphic Types

14 years 1 months ago

Faithful Translations between Polyvariant Flows and Polymorphic Types

Download reference.kfupm.edu.sa

Torben Amtoft, Franklyn A. Turbak

claim paper

Read More »

« Prev « First page 116 / 2175 Last » Next »