Back to Results
First PageMeta Content
Mathematical logic / Data types / Object-oriented programming / Polymorphism / Lambda calculus / Subtype polymorphism / Type system / Interpretation / Generic programming / Software engineering / Type theory / Theoretical computer science


Semantic subtyping for the π-calculus Giuseppe Castagna Rocco De Nicola ´ Ecole Normale Sup´erieure, Paris Universit`a di Firenze
Add to Reading List

Document Date: 2013-12-06 16:18:28

Open Document

File Size: 297,50 KB

Share Result on Facebook

City

London / /

Currency

pence / /

Facility

Daniele Varacca Imperial College / /

IndustryTerm

simplest solution / decision algorithm / web server / less efficient server / type systems / naive syntactic solutions / /

Organization

Ecole Normale Sup´erieure / Daniele Varacca Imperial College / /

Person

Giuseppe Castagna Rocco De Nicola / /

Position

compiler/interpreter / programmer / /

Product

Pentax K-x Digital Camera / /

ProgrammingLanguage

R / /

Technology

subtyping algorithm / functional programming / typing algorithm / http / XML / Dom / decision algorithm / web server / Type algorithm / /

URL

www.cduce.org / /

SocialTag