Search Sciweavers | Sciweavers

18429 search results - page 322 / 3686

» Typing dynamic typing

172

click to vote

PADO
2001
Springer

145views Programming Languages» more PADO 2001»

Type Systems for Useless-Variable Elimination

15 years 11 months ago

Download www.springer.com

nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...

Adam Fischbach, John Hannan

claim paper

Read More »

129

click to vote

PPDP
2001
Springer

79views Programming Languages» more PPDP 2001»

Termination of Well-Typed Logic Programs

15 years 11 months ago

Download www.dsi.unive.it

Annalisa Bossi, Nicoletta Cocco, Sabina Rossi

claim paper

Read More »

201

click to vote

DEXAW
2000
IEEE

113views Database» more DEXAW 2000»

Error Types in the Computer-Aided Translation of Tourism Texts

15 years 11 months ago

Download www.exodus.gr

In European-funded project MIS under the MLIS programme, the authors attempted a computer-driven translation package for tourism texts in 5 languages. It was believed such a packa...

James Milton, Anastasia Garbi

claim paper

Read More »

130

click to vote

ICDCS
2000
IEEE

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

Contract Type Sequencing for Reallocative Negotiation

15 years 11 months ago

Download www.cs.cmu.edu

Martin Andersson, Tuomas Sandholm

claim paper