Sciweavers

10666 search results - page 115 / 2134

» Quantum programming languages

141

Voted

ESOP
2006
Springer

93views Programming Languages» more ESOP 2006»

Approaches to Polymorphism in Classical Sequent Calculus

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

181

Voted

APLAS
2001
ACM

111views Programming Languages» more APLAS 2001»

Dynamic Control Operators in Type Theory

15 years 11 months ago

Dynamic Control Operators in Type Theory

Download www.jst.go.jp

Yukiyoshi Kameyama

claim paper

Read More »

179

Voted

APLAS
2001
ACM

90views Programming Languages» more APLAS 2001»

A Type System for the Push-Enter Model

15 years 11 months ago

A Type System for the Push-Enter Model

Download www.jaist.ac.jp

Kwanghoon Choi, Taisook Han

claim paper

Read More »

161

APLAS
2001
ACM

74views Programming Languages» more APLAS 2001»

Simple Type Inference for Structural Polymorphism

15 years 11 months ago

Simple Type Inference for Structural Polymorphism

Download caml.inria.fr

Jacques Garrigue

claim paper

Read More »

156

Voted

APLAS
2003
ACM

96views Programming Languages» more APLAS 2003»

Expressive Synchronization Types for Inheritance in the Join Calculus

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

« Prev « First page 115 / 2134 Last » Next »