Sciweavers

31686 search results - page 145 / 6338

» Resource typing in Guru

25

AMAST
2000
Springer

87views Software Engineering» more AMAST 2000»

Random Access to Abstract Data Types

14 years 1 months ago

Random Access to Abstract Data Types

Download www.fernuni-hagen.de

Martin Erwig

claim paper

Read More »

23

POPL
1999
ACM

114views Programming Languages» more POPL 1999»

Dependent Types in Practical Programming

14 years 1 months ago

Dependent Types in Practical Programming

Download www.cs.cmu.edu

Hongwei Xi, Frank Pfenning

claim paper

Read More »

24

POPL
1999
ACM

105views Programming Languages» more POPL 1999»

A Simple, Comprehensive Type System for Java Bytecode Subroutines

14 years 1 months ago

A Simple, Comprehensive Type System for Java Bytecode Subroutines

Download www.cs.cmu.edu

Robert O'Callahn

claim paper

Read More »

21

POPL
1999
ACM

80views Programming Languages» more POPL 1999»

Trust and Partial Typing in Open Systems of Mobile Agents

14 years 1 months ago

Trust and Partial Typing in Open Systems of Mobile Agents

Download condor.depaul.edu

James Riely, Matthew Hennessy

claim paper

Read More »

23

SIGIR
1999
ACM

168views Information Technology» more SIGIR 1999»

Combining Multiple Evidence from Different Types of Thesaurus for Query Expansion

14 years 1 months ago

Combining Multiple Evidence from Different Types of Thesaurus for Query Expansion

Download www.iro.umontreal.ca

Rila Mandala, Takenobu Tokunaga, Hozumi Tanaka

claim paper

Read More »

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