Author:
Sulzmann Martin,Lu Kenny Zhuo Ming
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Benzaken, V., Castagna, G., Frisch, A.: CDuce: An XML-centric general-purpose language. In: Proc. of ICFP 2003, pp. 51–63. ACM Press, New York (2003)
2. Lecture Notes in Computer Science;G. Bierman,2005
3. Broberg, N., Farre, A., Svenningsson, J.: Regular expression patterns. In: Proc. of ICFP 2004, pp. 67–78. ACM Press, New York (2004)
4. Frisch, A.: OCaml + XDuce. In: Proc. of ICFP 2006, pp. 192–200. ACM Press, New York (2006)
5. Colazzo, D., Castagna, G., Frisch, A.: Error mining for regular expression patterns. In: the 9th Italian Conference On Theoretical Computer Science, pp. 160–172. Springer, Heidelberg (2005)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Inclusion algorithms for one-unambiguous regular expressions and their applications;Science of Computer Programming;2020-07
2. Lambda Calculus with Regular Types;2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2015-09
3. Regular expression order-sorted unification and matching;Journal of Symbolic Computation;2015-03
4. Polymorphic functions with set-theoretic types;ACM SIGPLAN Notices;2014-01-13
5. Polymorphic functions with set-theoretic types;Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2014-01-08