Castagna - PDFSEARCH.IO - Document Search Engine

Castagna
Results: 53

#	Item
21	Autunno Apuano: i Colori della Terra fierucola degli ultimi raccolti in occasione della Festa della Castagna a Bosa di Careggine Add to Reading List Source URL: www.parcapuane.toscana.it Language: Italian - Date: 2012-11-20 13:21:37
22	CDuce V´eronique Benzaken, Giuseppe Castagna, Alain Frisch http://www.cduce.org/ PSD Workshop, Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:31 PCDATA XSLT CDuce CDATA Type system Computing XML Markup languages
23	Semantic subtyping for the π-calculus Giuseppe Castagna Rocco De Nicola ´ Ecole Normale Sup´erieure, Paris Universit`a di Firenze Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Mathematical logic Data types Object-oriented programming Polymorphism Lambda calculus Subtype polymorphism Type system Interpretation Generic programming Software engineering Type theory Theoretical computer science
24	Outline Interfacing CDuce and OCaml Giuseppe Castagna Julien Demouth Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Functional languages OCaml Caml CDuce Monad Serialization ML Computing Software engineering Computer programming
25	Duce Alain Frisch ´ Joint work with: Veronique Benzaken, Giuseppe Castagna Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:33 XML Functional languages Technical communication XQuery PCDATA XSLT CDuce XHTML Computing Web standards Markup languages
26	A Gentle Introduction to Semantic Subtyping Giuseppe Castagna CNRS ´ Ecole Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:26 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
27	Typed Iterators for XML ∗ Giuseppe Castagna Kim Nguyễn PPS (CNRS) - Université Paris 7 - Paris, France Add to Reading List Source URL: www.lri.fr Language: English - Date: 2010-10-14 05:33:04 Mathematics Linear filters Filter General topology Order theory Type system Natural deduction Kalman filter Electronic engineering Filter theory Electronics
28	Semantic Subtyping Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) ´ Veronique Benzaken (LRI U Paris Sud) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Data types Object-oriented programming Programming language theory Polymorphism Subtype polymorphism CDuce E Type system Semantics Type theory Computing Software engineering
29	Joint ICALP-PPDP ’05 Keynote Talk A Gentle Introduction to Semantic Subtyping Giuseppe Castagna Alain Frisch Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 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
30	(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 Add to Reading List Source URL: www.ettorecastagna.it Language: Italian - Date: 2002-04-02 08:26:34