Filters








12 Hits in 0.44 sec

An Implementation of Subtyping Among Regular Expression Types [chapter]

Kenny Zhuo Ming Lu, Martin Sulzmann
2004 Lecture Notes in Computer Science  
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]

Giuseppe Castagna, Dario Colazzo, Alain Frisch
2005 Lecture Notes in Computer Science  
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

Nathan Fulton, Cyrus Omar, Jonathan Aldrich
2014 Proceedings of the 2014 International Workshop on Privacy & Security in Programming - PSP '14  
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

Besik Dundua, Mario Florido, Temur Kutsia
2015 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)  
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

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.  ...  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

Martin Sulzmann, Kenny Zhuo Ming Lu
2012 Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12  
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

Giuseppe Castagna, Kim Nguyen
2008 SIGPLAN notices  
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

Giuseppe Castagna, Zhiwu Xu
2011 SIGPLAN notices  
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]

Giuseppe Castagna
2005 Lecture Notes in Computer Science  
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]

Giuseppe Castagna
2005 Lecture Notes in Computer Science  
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

Giuseppe Castagna, Zhiwu Xu
2011 Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11  
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

Temur Kutsia, Mircea Marin
2015 Journal of symbolic computation  
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