Sciweavers

31686 search results - page 55 / 6338

» Resource typing in Guru

27

PLDI
1994
ACM

128views Programming Languages» more PLDI 1994»

Type Analysis of Prolog Using Type Graphs

13 years 11 months ago

Type Analysis of Prolog Using Type Graphs

Download www.dsi.unive.it

Pascal Van Hentenryck, Agostino Cortesi, Baudouin ...

claim paper

Read More »

20

POPL
1994
ACM

101views Programming Languages» more POPL 1994»

Soft Typing with Conditional Types

13 years 11 months ago

Soft Typing with Conditional Types

Download www.cs.cmu.edu

Alexander Aiken, Edward L. Wimmers, T. K. Lakshman

claim paper

Read More »

20

IJIS
2000

73views more IJIS 2000»

Fuzzy types: A new concept of type for managing vague structures

13 years 7 months ago

Fuzzy types: A new concept of type for managing vague structures

Download hera.ugr.es

Nicolás Marín, Olga Pons, Marí...

claim paper

Read More »

18

CORR
2009
Springer

67views Education» more CORR 2009»

Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices

13 years 5 months ago

Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices

Download www.mat.unb.br

Daniel Lima Ventura, Mauricio Ayala-Rincón,...

claim paper

Read More »

21

POPL
1989
ACM

114views Programming Languages» more POPL 1989»

Dynamic Typing in a Statically-Typed Language

13 years 11 months ago

Dynamic Typing in a Statically-Typed Language

Download www.st.cs.uni-saarland.de

Dynamic typing can be useful in statically typed languages. We extend the simply typed λ-calculus with dynamic typing and elaborate additional features like polymorphism and subty...

Martín Abadi, Luca Cardelli, Benjamin C. Pi...

claim paper

Read More »

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