Sciweavers

31686 search results - page 153 / 6338

» Resource typing in Guru

153

POPL
1994
ACM

112views Programming Languages» more POPL 1994»

A Type-Theoretic Approach to Higher-Order Modules with Sharing

15 years 10 months ago

A Type-Theoretic Approach to Higher-Order Modules with Sharing

Download www.hpl.hp.com

Robert Harper, Mark Lillibridge

claim paper

Read More »

147

DBPL
1989
Springer

70views Database» more DBPL 1989»

The Type System of DBPL

15 years 10 months ago

The Type System of DBPL

Download www.sts.tu-harburg.de

Florian Matthes, Joachim W. Schmidt

claim paper

Read More »

132

DBPL
1989
Springer

82views Database» more DBPL 1989»

Can Object-Oriented Databases be Statically Typed?

15 years 10 months ago

Can Object-Oriented Databases be Statically Typed?

Download www.pllab.riec.tohoku.ac.jp

Val Tannen, Peter Buneman, Atsushi Ohori

claim paper

Read More »

90

EUROCRYPT
1989
Springer

68views Cryptology» more EUROCRYPT 1989»

On the Design of Permutation P in DES Type Cryptosystems

15 years 10 months ago

On the Design of Permutation P in DES Type Cryptosystems

Download www.uow.edu.au

Lawrence Brown, Jennifer Seberry

claim paper

Read More »

129

LICS
1990
IEEE

73views Automated Reasoning» more LICS 1990»

A Per Model of Polymorphism and Recursive Types

15 years 10 months ago

A Per Model of Polymorphism and Recursive Types

Download www.era.lib.ed.ac.uk

Martín Abadi, Gordon D. Plotkin

claim paper

Read More »

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