Search Sciweavers | Sciweavers

17 search results - page 2 / 4

» iandc 2002

click to vote

IANDC
2002

107views more IANDC 2002»

Simulation Preorder over Simple Process Algebras

13 years 4 months ago

Download www.fi.muni.cz

Antonín Kucera, Richard Mayr

claim paper

Read More »

click to vote

IANDC
2002

47views more IANDC 2002»

Type Destructors

13 years 4 months ago

Download www.cs.indiana.edu

Martin Hofmann, Benjamin C. Pierce

claim paper

Read More »

click to vote

IANDC
2002

51views more IANDC 2002»

Secure Implementation of Channel Abstractions

13 years 4 months ago

Download reference.kfupm.edu.sa

Martín Abadi, Cédric Fournet, George...

claim paper

Read More »

click to vote

IANDC
2002

72views more IANDC 2002»

Syntactic Type Soundness Results for the Region Calculus

13 years 4 months ago

Download www.swen.uwaterloo.ca

Cristiano Calcagno, Simon Helsen, Peter Thiemann

claim paper

Read More »

click to vote

IANDC
2002

59views more IANDC 2002»

Type Inference for Variant Object Types

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers