Search Sciweavers | Sciweavers

89 search results - page 6 / 18

» Semantic subtyping for the pi-calculus

click to vote

ICTCS
2005
Springer

74views Theoretical Computer Science» more ICTCS 2005»

Semantic Subtyping: Challenges, Perspectives, and Open Problems

14 years 1 months ago

Download www.pps.jussieu.fr

Giuseppe Castagna

claim paper

Read More »

click to vote

PPDP
2005
Springer

103views Programming Languages» more PPDP 2005»

A gentle introduction to semantic subtyping

14 years 29 days ago

Download www.di.ens.fr

Giuseppe Castagna, Alain Frisch

claim paper

Read More »

click to vote

ECOOP
2004
Springer

82views Programming Languages» more ECOOP 2004»

Semantic Casts: Contracts and Structural Subtyping in a Nominal World

14 years 26 days ago

Download www.cs.utah.edu

Robert Bruce Findler, Matthew Flatt, Matthias Fell...

claim paper

Read More »

click to vote

LICS
2002
IEEE

88views Automated Reasoning» more LICS 2002»

Semantic Subtyping

14 years 12 days ago

Download www.cduce.org

Alain Frisch, Giuseppe Castagna, Véronique ...

claim paper

Read More »

click to vote

ICFP
2010
ACM

100views Programming Languages» more ICFP 2010»

Semantic subtyping with an SMT solver

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers