Sciweavers

31686 search results - page 159 / 6338

» Resource typing in Guru

32

LICS
1991
IEEE

122views Automated Reasoning» more LICS 1991»

A First-Order Theory of Types and Polymorphism in Logic Programming

14 years 20 days ago

A First-Order Theory of Types and Polymorphism in Logic Programming

Download www.cs.sunysb.edu

Michael Kifer, James Wu

claim paper

Read More »

23

PLDI
1991
ACM

82views Programming Languages» more PLDI 1991»

14 years 20 days ago

Download www.cs.rice.edu

Robert Cartwright, Mike Fagan

claim paper

Read More »

31

TACS
1991
Springer

89views Software Engineering» more TACS 1991»

Intersection and Union Types

14 years 20 days ago

Intersection and Union Types

Download www.cs.cmu.edu

Franco Barbanera, Mariangiola Dezani-Ciancaglini

claim paper

Read More »

26

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

Directional Type Checking of Logic Programs

14 years 20 days ago

Directional Type Checking of Logic Programs

Download www.eecs.berkeley.edu

Alexander Aiken, T. K. Lakshman

claim paper

Read More »

23

LICS
1987
IEEE

80views Automated Reasoning» more LICS 1987»

Kripke-Style models for typed lambda calculus

14 years 20 days ago

Kripke-Style models for typed lambda calculus

Download www.disi.unige.it

John C. Mitchell, Eugenio Moggi

claim paper

Read More »

« Prev « First page 159 / 6338 Last » Next »