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 11 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

14 years 26 days 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

14 years 26 days 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

14 years 26 days 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

14 years 26 days 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