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.
Filters
An Implementation of Subtyping Among Regular Expression Types
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
An important issue will be how to map type class errors back to meaningful type error messages in XHaskell. We expect that we can rely on our own work on type debugging [19] . ...
We are near to completion in the design of XHaskell [14] , a variant of Haskell to support regular expression types, regular expression pattern matching and semantic subtyping. ...
doi:10.1007/978-3-540-30477-7_5
fatcat:xalcg7p6qfffbi5ew5rbf6p6ey
Error Mining for Regular Expression Patterns
[chapter]
2005
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 2017; you can also visit the original URL.
The file type is application/pdf.
were first introduced in the XDuce [HP00] programming language and then adopted by other projects such as CDuce [BCF03] and its query language CQL [BCM05] , Xtatic [GP03] , Scala [OAC + 04] , XHaskell ...
doi:10.1007/11560586_13
fatcat:nocvsqie7rah7jcjmzck2nvxz4
Statically typed string sanitation inside a python
2014
Proceedings of the 2014 International Workshop on Privacy & Security in Programming - PSP '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 2016; you can also visit the original URL.
The file type is application/pdf.
The XDuce system [8] checks XML documents against schema using regular expressions. 2Similarly, XHaskell [14] focuses on XML documents. ...
doi:10.1145/2687148.2687152
dblp:conf/oopsla/FultonOA14
fatcat:4dzyxfbbprd3nnjs4oix6lhifq
Lambda Calculus with Regular Types
2015
2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
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.
Languages such as XDuce [11] , XHaskell [20] , CDuce [4] , XCentric [7] , designed for XML processing, use regular expressions and regular tree languages as types and in pattern matching. ...
doi:10.1109/synasc.2015.29
dblp:conf/synasc/DunduaFK15
fatcat:sgtkm22hbjfclf2aec62omweni
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. ...
Lastly, XHaskell by Sulzmann et al. [19] mixes Haskell type classes with XDuce regular expression types but has two main drawbacks. ...
doi:10.1145/2535838.2535840
dblp:conf/popl/Castagna0XILP14
fatcat:2ysd4n3tznctxc6ssoe72gcaqu
Regular expression sub-matching using partial derivatives
2012
Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12
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.
The complete set of the benchmark results can be located via http://code.google.com/p/xhaskell-library/ in which the broader scope of comparison is considered. ...
doi:10.1145/2370776.2370788
dblp:conf/ppdp/SulzmannL12
fatcat:clwgrahbknfdjfvbiwhls5xwha
Typed iterators for XML
2008
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 2016; you can also visit the original URL.
The file type is application/pdf.
combining two type systems, a more general approach was defined by Sulzmann and Lu [26] for Haskell where the authors mix Haskell type classes with XDuce regular expression types into a system called XHaskell ...
doi:10.1145/1411203.1411210
fatcat:djro6h5uireufdim5pid2iuzte
Set-theoretic foundation of parametric polymorphism and subtyping
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 2011; you can also visit the original URL.
The file type is application/pdf.
A similar remark can be done for Xtatic [11] that merges C# name subtyping with the XDuce set-theoretic subtyping and for XHaskell [17] whose main focus is to implement XML subtyping using Haskell's ...
doi:10.1145/2034574.2034788
fatcat:imjvc4cbfrcttjrrc4dot2tpgm
Patterns and Types for Querying XML Documents
[chapter]
2005
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 2006; you can also visit the original URL.
The file type is application/pdf.
purpose extension of the XDuce language) and its query language QL [5], Xtatic [31] (an extension of C#), Scala [54] (a general purpose Javalike object-oriented language that compiles to Java bytecode), XHaskell ...
doi:10.1007/11547273_1
fatcat:h6oagouiurchfck6lfixmxnmka
Patterns and Types for Querying XML Documents
[chapter]
2005
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 2006; you can also visit the original URL.
The file type is application/pdf.
purpose extension of the XDuce language) and its query language QL [5], Xtatic [31] (an extension of C#), Scala [54] (a general purpose Javalike object-oriented language that compiles to Java bytecode), XHaskell ...
doi:10.1007/11601524_1
fatcat:eulujmjm6neznc5picj44onkhe
Set-theoretic foundation of parametric polymorphism and subtyping
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 2011; you can also visit the original URL.
The file type is application/pdf.
A similar remark can be done for Xtatic [11] that merges C# name subtyping with the XDuce set-theoretic subtyping and for XHaskell [17] whose main focus is to implement XML subtyping using Haskell's ...
doi:10.1145/2034773.2034788
dblp:conf/icfp/CastagnaX11
fatcat:r537a3ocjjgedhke63wufk437u
Regular expression order-sorted unification and matching
2015
Journal of symbolic computation
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.
Regular expression typed pattern matching is presented in the programming languages XDuce (Hosoya and Pierce, 2003b) , designed for manipulating XML, and in XHaskell (Sulzmann and Lu, 2007) , an extension ...
doi:10.1016/j.jsc.2014.08.002
pmid:26523088
pmcid:PMC4599633
fatcat:pn2d4zysb5d7lpgueqyczgx3r4