Search Sciweavers | Sciweavers

31686 search results - page 144 / 6338

» Resource typing in Guru

click to vote

PPDP
2001
Springer

79views Programming Languages» more PPDP 2001»

Termination of Well-Typed Logic Programs

14 years 1 months ago

Download www.dsi.unive.it

Annalisa Bossi, Nicoletta Cocco, Sabina Rossi

claim paper

Read More »

click to vote

ICDCS
2000
IEEE

85views Distributed And Parallel Com...» more ICDCS 2000»

Contract Type Sequencing for Reallocative Negotiation

14 years 1 months ago

Download www.cs.cmu.edu

Martin Andersson, Tuomas Sandholm

claim paper

Read More »

click to vote

LICS
2000
IEEE

90views Automated Reasoning» more LICS 2000»

Imperative Programming with Dependent Types

14 years 1 months ago

Download www.ats-lang.org

Hongwei Xi

claim paper

Read More »

click to vote

LICS
2000
IEEE

106views Automated Reasoning» more LICS 2000»

Assigning Types to Processes

14 years 1 months ago

Download www.cogs.susx.ac.uk

Nobuko Yoshida, Matthew Hennessy

claim paper

Read More »

click to vote

AC
2000
Springer

102views Software Engineering» more AC 2000»

An Introduction to Dependent Type Theory

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers