Search Sciweavers | Sciweavers

22 search results - page 1 / 5

» aplas 2004

click to vote

APLAS
2004
ACM

109views Programming Languages» more APLAS 2004»

The Scala Experiment - Can We Provide Better Language Support for Component Systems?

13 years 8 months ago

Download www.daimi.au.dk

Martin Odersky

claim paper

Read More »

click to vote

APLAS
2004
ACM

73views Programming Languages» more APLAS 2004»

A Type Theory for Krivine-Style Evaluation and Compilation

13 years 10 months ago

Download www.jaist.ac.jp

Kwanghoon Choi, Atsushi Ohori

claim paper

Read More »

click to vote

APLAS
2004
ACM

114views Programming Languages» more APLAS 2004»

Controlled Declassification Based on Intransitive Noninterference

13 years 10 months ago

Download www.mais.informatik.tu-darmstadt.de

Heiko Mantel, David Sands

claim paper

Read More »

click to vote

APLAS
2004
ACM

108views Programming Languages» more APLAS 2004»

An Implementation of Subtyping Among Regular Expression Types

13 years 10 months ago

Download www.itu.dk

Kenny Zhuo Ming Lu, Martin Sulzmann

claim paper

Read More »

click to vote

APLAS
2004
ACM

103views Programming Languages» more APLAS 2004»

D-Fusion: A Distinctive Fusion Calculus

13 years 10 months ago

Download www.it.uu.se

Abstract. Fusion calculus is commonly regarded as a generalisation of pi. Actually, we prove that there is no uniform fully abstract embedding

Michele Boreale, Maria Grazia Buscemi, Ugo Montana...

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers