Search Sciweavers | Sciweavers

18429 search results - page 332 / 3686

» Typing dynamic typing

124

click to vote

LFCS
1997
Springer

82views Artificial Intelligence» more LFCS 1997»

Type Introduction for Equational Rewriting

15 years 11 months ago

Download staff.aist.go.jp

Hitoshi Ohsaki, Aart Middeldorp

claim paper

Read More »

141

click to vote

OOPSLA
1997
Springer

114views Security Privacy» more OOPSLA 1997»

Adding Type Parameterization to the Java Language

15 years 11 months ago

Download www.cs.williams.edu

Ole Agesen, Stephen N. Freund, John C. Mitchell

claim paper

Read More »

138

click to vote

TLCA
1997
Springer

101views Theoretical Computer Science» more TLCA 1997»

Typed Intermediate Languages for Shape Analysis

15 years 11 months ago

Download www.disi.unige.it

Gianna Bellè, Eugenio Moggi

claim paper

Read More »

105

Voted

VLDB
1997
ACM

92views Database» more VLDB 1997»

The Case for Enhanced Abstract Data Types

15 years 11 months ago

Download www.vldb.org

Praveen Seshadri, Miron Livny, Raghu Ramakrishnan

claim paper

Read More »

146

click to vote

FOCS
1993
IEEE

72views Theoretical Computer Science» more FOCS 1993»

Parallel computable higher type functionals (Extended Abstract)

15 years 11 months ago

Download www.cse.unsw.edu.au

d Abstract) Peter Clote A. Ignjatovicy B. Kapronz

Peter Clote, Aleksandar Ignjatovic, Bruce M. Kapro...

claim paper

Read More »

« Prev « First page 332 / 3686 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers