Search Sciweavers | Sciweavers

424 search results - page 2 / 85

» types 1999

179

click to vote

POPL
1999
ACM

80views Programming Languages» more POPL 1999»

Trust and Partial Typing in Open Systems of Mobile Agents

15 years 11 months ago

Download condor.depaul.edu

James Riely, Matthew Hennessy

claim paper

Read More »

161

Voted

SIGIR
1999
ACM

168views Information Technology» more SIGIR 1999»

Combining Multiple Evidence from Different Types of Thesaurus for Query Expansion

15 years 11 months ago

Download www.iro.umontreal.ca

Rila Mandala, Takenobu Tokunaga, Hozumi Tanaka

claim paper

Read More »

154

Voted

CSL
1999
Springer

83views Automated Reasoning» more CSL 1999»

Monadic Presentations of Lambda Terms Using Generalized Inductive Types

15 years 11 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch, Bernhard Reus

claim paper

Read More »

168

Voted

ECOOP
1999
Springer

94views Programming Languages» more ECOOP 1999»

Modular Statically Typed Multimethods

15 years 11 months ago

Download www.cs.ucla.edu

Todd D. Millstein, Craig Chambers

claim paper

Read More »

140

click to vote

ECOOPW
1999
Springer

90views Distributed And Parallel Com...» more ECOOPW 1999»

Type-Safe Execution of Mobile Agents in Anonymous Networks

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers