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

15 years 2 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

15 years 2 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

15 years 2 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

15 years 2 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

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers