Search Sciweavers | Sciweavers

424 search results - page 2 / 85

» types 1999

click to vote

POPL
1999
ACM

80views Programming Languages» more POPL 1999»

Trust and Partial Typing in Open Systems of Mobile Agents

13 years 10 months ago

Download condor.depaul.edu

James Riely, Matthew Hennessy

claim paper

Read More »

click to vote

SIGIR
1999
ACM

168views Information Technology» more SIGIR 1999»

Combining Multiple Evidence from Different Types of Thesaurus for Query Expansion

13 years 10 months ago

Download www.iro.umontreal.ca

Rila Mandala, Takenobu Tokunaga, Hozumi Tanaka

claim paper

Read More »

click to vote

CSL
1999
Springer

83views Automated Reasoning» more CSL 1999»

Monadic Presentations of Lambda Terms Using Generalized Inductive Types

13 years 10 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch, Bernhard Reus

claim paper

Read More »

click to vote

ECOOP
1999
Springer

94views Programming Languages» more ECOOP 1999»

Modular Statically Typed Multimethods

13 years 10 months ago

Download www.cs.ucla.edu

Todd D. Millstein, Craig Chambers

claim paper

Read More »

click to vote

ECOOPW
1999
Springer

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

Type-Safe Execution of Mobile Agents in Anonymous Networks

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers