Sciweavers

31686 search results - page 155 / 6338

» Resource typing in Guru

24

FLOPS
2006
Springer

103views Automated Reasoning» more FLOPS 2006»

Typed Contracts for Functional Programming

14 years 25 days ago

Typed Contracts for Functional Programming

Download www.cs.uu.nl

Ralf Hinze, Johan Jeuring, Andres Löh

claim paper

Read More »

26

APLAS
2001
ACM

111views Programming Languages» more APLAS 2001»

Dynamic Control Operators in Type Theory

14 years 24 days ago

Dynamic Control Operators in Type Theory

Download www.jst.go.jp

Yukiyoshi Kameyama

claim paper

Read More »

27

APLAS
2001
ACM

90views Programming Languages» more APLAS 2001»

A Type System for the Push-Enter Model

14 years 24 days ago

A Type System for the Push-Enter Model

Download www.jaist.ac.jp

Kwanghoon Choi, Taisook Han

claim paper

Read More »

25

APLAS
2001
ACM

74views Programming Languages» more APLAS 2001»

Simple Type Inference for Structural Polymorphism

14 years 24 days ago

Simple Type Inference for Structural Polymorphism

Download caml.inria.fr

Jacques Garrigue

claim paper

Read More »

21

APLAS
2003
ACM

96views Programming Languages» more APLAS 2003»

Expressive Synchronization Types for Inheritance in the Join Calculus

14 years 24 days 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 155 / 6338 Last » Next »