Filters








20 Hits in 0.25 sec

OCaml + XDuce

Alain Frisch
2006 Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06  
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce.  ...  Another guideline in the design of OCamlDuce was that XDuce programs should be easily translatable to OCamlDuce in a mechanical way.  ...  As a result, OCamlDuce is a strict extension of OCaml: programs which don't use the new features will be treated exactly the same by OCaml and OCamlDuce.  ... 
doi:10.1145/1159803.1159829 dblp:conf/icfp/Frisch06 fatcat:32so6cugirdlhi7rcbzqlaln2a

OCaml + XDuce

Alain Frisch
2006 SIGPLAN notices  
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce.  ...  Another guideline in the design of OCamlDuce was that XDuce programs should be easily translatable to OCamlDuce in a mechanical way.  ...  As a result, OCamlDuce is a strict extension of OCaml: programs which don't use the new features will be treated exactly the same by OCaml and OCamlDuce.  ... 
doi:10.1145/1160074.1159829 fatcat:5hsnlkjskzeh5acbbjx2x3x5sm

TomML: A Rule Language for Structured Data [chapter]

Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
2009 Lecture Notes in Computer Science  
OCamlDuce fully integrates XML manipulations in the OCaml language, providing static type inference for XML expressions, by the mean of regular expression types.  ...  The OCamlDuce system [12] is a modified version of the OCaml functional language which integrates XDuce features, such as XML expressions, regular expression types and patterns, iterators.  ... 
doi:10.1007/978-3-642-04985-9_24 fatcat:sivjt2bilnfaxjlqcpazibl36i

Experience report

Vincent Balat, Jérôme Vouillon, Boris Yakobowski
2009 SIGPLAN notices  
It is translated into well-formed XHTML using OcamlDuce. Ocsimore features an authentication mechanism, for either NIS or Ocsimore-specific users.  ... 
doi:10.1145/1631687.1596595 fatcat:mwcdglumkbgmjfa4lrliudj26y

Experience report

Vincent Balat, Jérôme Vouillon, Boris Yakobowski
2009 Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09  
It is translated into well-formed XHTML using OcamlDuce. Ocsimore features an authentication mechanism, for either NIS or Ocsimore-specific users.  ... 
doi:10.1145/1596550.1596595 dblp:conf/icfp/BalatVY09 fatcat:n6ljnbh4c5fmze2q4ri2hh4inq

A Type-Safe Embedding of XDuce into ML

Martin Sulzmann, Kenny Zhuo Ming Lu
2006 Electronical Notes in Theoretical Computer Science  
We recently became aware of the OCamlDuce project [8] which integrates CDuce in OCaml [25].  ...  For example, A* ≤ [A] is considered invalid in the OCamlDuce type system, unless user annotations are provided. It is unclear to us whether this approach applies to arbitrary user-definable types.  ... 
doi:10.1016/j.entcs.2005.11.047 fatcat:xhqp5mvlf5g67bw5gdjkfsd2xm

Ur/Web

Adam Chlipala
2015 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15  
Regular expression types [19] are an established approach to enforcing the rules of XML more literally, and they have been integrated with ML-style languages in the OCamlDuce project [16] .  ...  An additional benefit of Ur/Web's approach is that XML checking need not be built into the language (as it is in, e.g., OCamlDuce) but is instead encoded as a library using Ur's rich but general-purpose  ... 
doi:10.1145/2676726.2677004 dblp:conf/popl/Chlipala15 fatcat:c5auxtistjhqfg5jvbjm2gdg7q

Using camlp4 for presenting dynamic mathematics on the web

Frédéric Chyzak, Alexis Darrasse
2011 SIGPLAN notices  
These content quotations in DynaMoW have to be contrasted with the quotations proposed by another OCamlbased tool, OCamlDuce, a general XML transducer and validator: its quotations embed general XML strings  ... 
doi:10.1145/2034574.2034809 fatcat:awa76nf6erhyzbilbw3qmygtym

Using camlp4 for presenting dynamic mathematics on the web

Frédéric Chyzak, Alexis Darrasse
2011 Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11  
These content quotations in DynaMoW have to be contrasted with the quotations proposed by another OCamlbased tool, OCamlDuce, a general XML transducer and validator: its quotations embed general XML strings  ... 
doi:10.1145/2034773.2034809 dblp:conf/icfp/ChyzakD11 fatcat:cschb2wtnrbt7gskbqiwlbvvci

Ocsigen

Vincent Balat
2006 Proceedings of the 2006 workshop on ML - ML '06  
OCamlDuce [12] , that we plan to use for an experiment in a future version of Ocsigen, is an extension of OCaml with these types.  ... 
doi:10.1145/1159876.1159889 dblp:conf/ml/Balat06 fatcat:cu3ugowb4bcypbnnw6d3zfdkfa

Effective strategic programming for Java developers

Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
2012 Software, Practice & Experience  
The OCamlDuce system [49] is an extension of the OCAML functional language that integrates XML expressions, regular expression types and patterns.  ...  OCamlDuce provides static insurance that a program will produce well-typed XML values by leveraging the OCAML type system. The integration of XML manipulation in TOM cannot provide such a guarantee.  ... 
doi:10.1002/spe.2159 fatcat:h5lb3cf4vndqjgwxwoovxvvvde

Polymorphic functions with set-theoretic types

Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani
2014 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14  
Many recent XML processing languages, such as XDuce, CDuce, XQuery, OcamlDuce, XHaskell, XAct, are statically-typed functional languages.  ...  Another route taken is the one of OCamlDuce [10] , which juxtaposes OCaml and CDuce's type systems in the same language, keeping them separated.  ... 
doi:10.1145/2535838.2535840 dblp:conf/popl/Castagna0XILP14 fatcat:2ysd4n3tznctxc6ssoe72gcaqu

Regular Expression Subtyping for XML Query and Update Languages [article]

James Cheney
2008 arXiv   pre-print
been studied extensively in XML processing languages such as XDuce [12] and CDuce [1] , as well as projects to extend general-purpose programming languages with XML features such as Xtatic [9] and OCamlDuce  ... 
arXiv:0801.0714v1 fatcat:xjivamoihraw5p3lqwv3nc5qdu

Rethinking Traditional Web Interaction: Theory and Implementation

Vincent Balat
unpublished
Another one is using an extension of OCaml, called OCamlduce [11] , that adds XML types.  ...  It is less strict than OCamlduce for the validation of pages, as it only checks the correct nesting of XML tags (for example it is not possible to put a <div> tag inside a tag).  ... 
fatcat:ab7ustneevdujnz5bm57j5v4wu

Flux: FunctionaL Updates for XML (extended report) [article]

James Cheney
2008 arXiv   pre-print
Many programming languages for transforming immutable XML trees have been studied, including XML stylesheets (XSLT (Clark 1999) ), and XML programming languages such as XDuce, CDuce, Xtatic, or OCamlDuce  ... 
arXiv:0807.1211v1 fatcat:nnw7so2g7ras7olnpz4kmhstn4
« Previous Showing results 1 — 15 out of 20 results