CDuce - PDFSEARCH.IO - Document Search Engine

CDuce
Results: 27

#	Item
1	REGULAR TREE LANGUAGE RECOGNITION WITH STATIC INFORMATION Alain Frisch École Normale Supérieure Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:26 Tree automaton Pushdown automaton Symbol Finite-state machine Automata theory Theoretical computer science Computer science
2	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
3	Th´ eorie, conception et r´ ealisation d’un langage de programmation adapt´ e` a Add to Reading List Source URL: www.cduce.org Language: French - Date: 2013-12-06 16:18:33
4	THÈSE présentée à l’Université Paris 7 – Denis Diderot Add to Reading List Source URL: www.cduce.org Language: French - Date: 2013-12-06 16:18:29
5	CDuce Un langage fonctionnel pour manipuler des documents XML Alain Frisch INRIA Rocquencourt (projet Cristal) Add to Reading List Source URL: www.cduce.org Language: French - Date: 2013-12-06 16:18:34
6	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
7	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
8	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
9	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
10	UNIVERSITÉ PARIS DIDEROT-PARIS 7 ÉCOLE DOCTORALE DE SCIENCES MATHEMATIQUES DE PARIS CENTRE COTUTELLE DE THÈSE pour obtenir le double diplôme de Add to Reading List Source URL: www.cduce.org Language: French - Date: 2013-12-19 09:13:06