Sciweavers

10871 search results - page 116 / 2175

» A stable programming language

113

Voted

APLAS
2001
ACM

111views Programming Languages» more APLAS 2001»

Dynamic Control Operators in Type Theory

15 years 7 months ago

Dynamic Control Operators in Type Theory

Download www.jst.go.jp

Yukiyoshi Kameyama

claim paper

Read More »

118

Voted

APLAS
2001
ACM

90views Programming Languages» more APLAS 2001»

A Type System for the Push-Enter Model

15 years 7 months ago

A Type System for the Push-Enter Model

Download www.jaist.ac.jp

Kwanghoon Choi, Taisook Han

claim paper

Read More »

106

Voted

APLAS
2001
ACM

74views Programming Languages» more APLAS 2001»

Simple Type Inference for Structural Polymorphism

15 years 7 months ago

Simple Type Inference for Structural Polymorphism

Download caml.inria.fr

Jacques Garrigue

claim paper

Read More »

110

Voted

APLAS
2003
ACM

96views Programming Languages» more APLAS 2003»

Expressive Synchronization Types for Inheritance in the Join Calculus

15 years 7 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 »

99

Voted

ESOP
2000
Springer

79views Programming Languages» more ESOP 2000»

Faithful Translations between Polyvariant Flows and Polymorphic Types

15 years 7 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 »