Sciweavers

10585 search results - page 110 / 2117

» The Orc Programming Language

24

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

14 years 17 days ago

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

24

ESOP
2006
Springer

93views Programming Languages» more ESOP 2006»

Approaches to Polymorphism in Classical Sequent Calculus

14 years 17 days ago

Approaches to Polymorphism in Classical Sequent Calculus

Download www.doc.ic.ac.uk

Alexander J. Summers, Steffen van Bakel

claim paper

Read More »

26

APLAS
2001
ACM

111views Programming Languages» more APLAS 2001»

Dynamic Control Operators in Type Theory

14 years 16 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 16 days ago

A Type System for the Push-Enter Model

Download www.jaist.ac.jp

Kwanghoon Choi, Taisook Han

claim paper

Read More »

24

APLAS
2001
ACM

74views Programming Languages» more APLAS 2001»

Simple Type Inference for Structural Polymorphism

14 years 16 days ago

Simple Type Inference for Structural Polymorphism

Download caml.inria.fr

Jacques Garrigue

claim paper

Read More »

« Prev « First page 110 / 2117 Last » Next »