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

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

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

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

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

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers