Autunno Apuano: i Colori della Terra fierucola degli ultimi raccolti in occasione della Festa della Castagna a Bosa di Careggine

Source URL: www.parcapuane.toscana.it

CDuce V´eronique Benzaken, Giuseppe Castagna, Alain Frisch http://www.cduce.org/ PSD Workshop,

Source URL: www.cduce.org

• PCDATA
• XSLT
• CDuce
• CDATA
• Type system
• Computing
• XML
• Markup languages

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

Source URL: www.cduce.org

• Mathematical logic
• Data types
• Object-oriented programming
• Polymorphism
• Lambda calculus
• Subtype polymorphism
• Type system
• Interpretation
• Generic programming
• Software engineering
• Type theory
• Theoretical computer science

Outline Interfacing CDuce and OCaml Giuseppe Castagna Julien Demouth

Source URL: www.cduce.org

• Functional languages
• OCaml
• Caml
• CDuce
• Monad
• Serialization
• ML
• Computing
• Software engineering
• Computer programming

Duce Alain Frisch ´ Joint work with: Veronique Benzaken, Giuseppe Castagna

Source URL: www.cduce.org

• XML
• Functional languages
• Technical communication
• XQuery
• PCDATA
• XSLT
• CDuce
• XHTML
• Computing
• Web standards
• Markup languages

A Gentle Introduction to Semantic Subtyping Giuseppe Castagna CNRS ´ Ecole

Source URL: www.cduce.org

• Computing
• Data types
• Object-oriented programming
• Lambda calculus
• Polymorphism
• Subtype polymorphism
• Type system
• Simply typed lambda calculus
• Denotational semantics
• Type theory
• Software engineering
• Theoretical computer science

Typed Iterators for XML ∗ Giuseppe Castagna Kim Nguyễn PPS (CNRS) - Université Paris 7 - Paris, France

Source URL: www.lri.fr

• Mathematics
• Linear filters
• Filter
• General topology
• Order theory
• Type system
• Natural deduction
• Kalman filter
• Electronic engineering
• Filter theory
• Electronics

Semantic Subtyping Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) ´ Veronique Benzaken (LRI U Paris Sud)

Source URL: www.cduce.org

• Data types
• Object-oriented programming
• Programming language theory
• Polymorphism
• Subtype polymorphism
• CDuce
• E
• Type system
• Semantics
• Type theory
• Computing
• Software engineering

Joint ICALP-PPDP ’05 Keynote Talk A Gentle Introduction to Semantic Subtyping Giuseppe Castagna Alain Frisch

Source URL: www.cduce.org

• Theoretical computer science
• Object-oriented programming
• Programming language theory
• Polymorphism
• Subtype polymorphism
• International Colloquium on Automata
• Languages and Programming
• Type system
• E
• Type theory
• Data types
• Software engineering

(World Music, Roma, n. 32, giugno 1998) "So flat" Appunti di un viaggio sulle praterie del Red River di Ettore Castagna "Come la terra ricorda

Source URL: www.ettorecastagna.it