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?

15 years 7 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

15 years 8 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

15 years 8 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

15 years 8 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

15 years 8 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

Sciweavers