Frisch - PDFSEARCH.IO - Document Search Engine

Frisch
Results: 844

#	Item
371	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
372	OOP and XML Alain Frisch http://www.cduce.org/ D´ epartement d’Informatique ´ Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Technical communication XML EXist VTD-XML XMLBeans Computing Web standards Markup languages
373	Semanti subtyping: dealing set-theoreti ally with fun tion, union, interse tion, and negation types ALAIN FRISCH Lexi and Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Programming language theory Data types Object-oriented programming Polymorphism Subtype polymorphism Type system Universal type System F Curry Software engineering Type theory Computing
374	OCaml + XDuce Alain Frisch INRIA Rocquencourt Abstract Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:27 Programming language theory OCaml Type system ML Subtype polymorphism Type inference System F Lambda calculus Type safety Software engineering Type theory Computing
375	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
376	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
377	Recognizing regular tree languages with static information Alain Frisch (ENS Paris) PLAN-X 2004 p.1/22 Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 Mathematics Tree automaton Tree traversal Pushdown automaton Deterministic automaton Formal language Regular expression Muller automaton Automata theory Theoretical computer science Computer science
378	Greedy regular expression matching Alain Frisch INRIA Luca Cardelli MSRC Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Pattern matching Regular expressions Procedural programming languages Data types Type theory Subtype polymorphism TRE ALGOL 68 Luca Cardelli Software engineering Computing Computer programming
379	Greedy regular expression matching Alain Frisch (ENS Paris) Luca Cardelli (MSR Cambridge) PLAN-X 2004 p.1/16 Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:33 Procedural programming languages Object-oriented programming Data types C++ Regular expression ALGOL 68 Iterator C++ classes Set Software engineering Computing Computer programming
380	Streaming XML transformations using term rewriting Alain Frisch Keisuke Nakano INRIA Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-10-09 03:48:51 Transformation languages XML XML transformation language Technical communication XSLT XQuery LL parser Stack Preprocessor Computing Markup languages Functional languages