Search Sciweavers | Sciweavers

31686 search results - page 146 / 6338

» Resource typing in Guru

click to vote

CSL
1999
Springer

83views Automated Reasoning» more CSL 1999»

Monadic Presentations of Lambda Terms Using Generalized Inductive Types

14 years 1 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

14 years 1 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

14 years 1 months ago

Download condor.depaul.edu

Matthew Hennessy, James Riely

claim paper

Read More »

click to vote

IFL
1999
Springer

100views Formal Methods» more IFL 1999»

Type-Inference Based Short Cut Deforestation (Nearly) without Inlining

14 years 1 months ago

Download www.cs.kent.ac.uk

Olaf Chitil

claim paper

Read More »

click to vote

PPDP
1999
Springer

107views Programming Languages» more PPDP 1999»

A Semantic Account of Type-Directed Partial Evaluation

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers