A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Filters
OCaml + XDuce
2006
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06
Preserved Fulltext
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
2006
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2009
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2009
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2011
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 2006 workshop on ML - ML '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2012
Software, Practice & Experience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2014
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2008
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2008
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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