Sciweavers

31686 search results - page 55 / 6338

» Resource typing in Guru

127

Voted

PLDI
1994
ACM

128views Programming Languages» more PLDI 1994»

Type Analysis of Prolog Using Type Graphs

15 years 8 months ago

Type Analysis of Prolog Using Type Graphs

Download www.dsi.unive.it

Pascal Van Hentenryck, Agostino Cortesi, Baudouin ...

claim paper

Read More »

99

POPL
1994
ACM

101views Programming Languages» more POPL 1994»

Soft Typing with Conditional Types

15 years 7 months ago

Soft Typing with Conditional Types

Download www.cs.cmu.edu

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

claim paper

Read More »

102

Voted

IJIS
2000

73views more IJIS 2000»

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

15 years 3 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 »

105

CORR
2009
Springer

67views Education» more CORR 2009»

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

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

142

POPL
1989
ACM

114views Programming Languages» more POPL 1989»

Dynamic Typing in a Statically-Typed Language

15 years 8 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 »