Sciweavers

10666 search results - page 115 / 2134

» Quantum programming languages

24

ESOP
2006
Springer

93views Programming Languages» more ESOP 2006»

Approaches to Polymorphism in Classical Sequent Calculus

14 years 1 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 »

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 »

30

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 »

27

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 »

25

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 »

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