Gapeyev, V. and B. C. Pierce (2003). Regular object types. In Proceedings European Conference on Object-Oriented Programming (ECOOP). Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Static Analysis of XML Transformations in Java - Kirkegaard, Møller, Schwartzbach (2003) (3 citations) (Correct)
....CDuce [20] extends XDuce into a full programming language and adds higher order functions and other language features. The ideas from XDuce, which have also influenced the design of the XQuery type system, are currently being integrated into C# in the Xtatic project with similar goals as ours [40]. Another related language is CircusDTE [41] which is a simple transformation language with pattern matching and type checking mechanisms reminiscent of those in XDuce. XM# [42] is a functional language related to HaXml and 12 WASH CGI. Its type system uses a notion of type indexed rows to model ....
V. Gapayev and B. C. Pierce, "Regular object types," in Proc. 17th European Conference on Object-Oriented Programming, ECOOP'03, ser. LNCS, vol. 2743. Springer-Verlag, July 2003.
CDuce: An XML-Centric General-Purpose Language - Benzaken, Castagna, Frisch (2003) (22 citations) (Correct)
....influence on ours and some of our future plans include adapting to C Duce some of Hosoya s insightful ideas on sequence transformations. C Duce is not the only project that started from or was deeply influenced by XDuce. Among the projects inspired by XDuce those closest to C Duce are Xtatic [9] and XQuery [3, 7] The goals for Xtatic and C Duce are similar in that they both try to integrate XDuce features in a larger design and less XML specific language. C Duce builds on the functional flavour of XDuce and extends it to a full fledged functional language, whereas Xtatic goes toward OO ....
V. Gapayev and B.C. Pierce. Regular object types. In Proceedings of the 10th workshop FOOL, 2003.
Static Analysis of XML Transformations in Java - Kirkegaard, Møller.. (2003) (3 citations) (Correct)
....CDuce [31] extends XDuce into a full programming language and adds higher order functions and other language features. The ideas from XDuce, which have also influenced the design of the XQuery type system, are currently being integrated into C# in the Xtatic project with similar goals as ours [32]. XM# [33] is a functional language related to HaXml and WASH CGI. Its type system uses a notion of type indexed rows to model DTD. Whereas subtyping is an essential aspect in XDuce, XM# is based on parametric polymorphism. Apparently, no implementation of XM# is available. The language fxt [34] ....
V. Gapayev and B. C. Pierce, "Regular object types," in Proc. 10th International Workshops on Foundations of Object-Oriented Languages, FOOL '03, January 2003.
Unifying Tables, Objects and Documents - Meijer, Schulte (2003) (4 citations) (Correct)
....between tables, objects and documents, but it is much harder to come up with a design that gracefully unifies these separate worlds. No main stream programming language has yet emerged that realizes this vision [7] Often language integration only deals with SQL or with XML but not with both [11, 24, 14, 17, 2]. Alternatively they start from a completely new language such as XQuery or XDuce [6, 22, 10] Approaches based on language binding using some kind of pre compiler such as XSD.exe, Castor, or JAXB [28, 1] do not achieve a real semantic integration. The impedance mismatch between the di#erent ....
V. Gapeyev and B. Pierce. Regular object types. In ECOOP, 2003.
XML Goes Native: Run-time Representations for Xtatic - Gapeyev, Levin, Pierce.. (2004) (5 citations) Self-citation (Gapeyev Pierce) (Correct)
No context found.
Vladimir Gapeyev and Benjamin C. Pierce. Regular object types. In European Conference on ObjectOriented Programming (ECOOP), 2003. A preliminary version was presented at FOOL '03.
Matching Automata for Regular Patterns - Levin, Pierce (2003) (3 citations) Self-citation (Pierce) (Correct)
No context found.
V. Gapeyev and B. C. Pierce. Regular object types. http://www.cis.upenn.edu/ bcpierce/papers/regobj.pdf, 2002. Submitted for publication.
Type-based Optimization for Regular Patterns - Levin, Pierce (2005) (1 citation) Self-citation (Pierce) (Correct)
No context found.
V. Gapeyev and B. C. Pierce. Regular object types. In European Conference on Object-Oriented Programming (ECOOP), 2003. A preliminary version was presented at FOOL '03.
Programming Language Abstractions for Semistructured Data - Emir (2004) (Correct)
No context found.
Gapeyev, V. and B. C. Pierce (2003). Regular object types. In Proceedings European Conference on Object-Oriented Programming (ECOOP).
Matching with Regular Constraints - Kutsia, Marin (2005) (Correct)
No context found.
V. Gapeyev and B. C. Pierce. Regular object types. In L. Cardelli, editor, Proc. of ECOOP'03, volume 2743 of LNCS, pages 151--175. Springer, 2003.
Polymorphism and XDuce-style patterns - Vouillon (Correct)
No context found.
V. Gapeyev and B. C. Pierce. Regular object types. In European Conference on Object-Oriented Programming (ECOOP), Darmstadt, Germany, 2003. A preliminary version was presented at FOOL '03.
Matching with Regular Constraints - Kutsia, Marin (2005) (Correct)
No context found.
V. Gapeyev and B. C. Pierce. Regular object types. In L. Cardelli, editor, Proc. of ECOOP'03, volume 2743 of LNCS, pages 151--175. Springer, 2003.
XJ: Facilitating XML Processing in Java - Harren, Raghavachari, Shmueli, al. (2005) (3 citations) (Correct)
No context found.
V. Gapeyev and B. Pierce. Regular object types. In Proceedings of the 17th European Conference on Object-Oriented Programming (ECOOP), volume 2743 of LNCS, pages 151--175, July 2003.
XJ: Facilitating XML Processing in Java - Matthew Harren University (2005) (3 citations) (Correct)
No context found.
V. Gapeyev and B. Pierce. Regular object types. In Proceedings of the 17th European Conference on Object-Oriented Programming (ECOOP), volume 2743 of LNCS, pages 151--175, July 2003.
XQuery at Your Web Service - Onose, Simeon (2004) (Correct)
No context found.
V. Gapeyev and B. C. Pierce. Regular object types. In Proceedings of the 17th European Conference on Object-Oriented Programming (ECOOP'2003.
XJ: Integration of XML Processing into Java - Matthew Harren Dept (2004) (6 citations) (Correct)
No context found.
V. Gapeyev and B. C. Pierce. Regular object types. In ECOOP, 2003.
Scripting XML with Generic Haskell - Atanassow, Clarke, Jeuring (2003) (2 citations) (Correct)
No context found.
Vladimir Gapeyev and Benjamin C. Pierce. Regular object types. In European Conference on Object-oriented Programming (ECOOP 2003.
The essence of data access in Cω - The power is in.. - Bierman, Meijer, Schulte (Correct)
No context found.
V. Gapeyev and B.C. Pierce. Regular object types. In Proceedings of ECOOP, 2003.
Greedy Regular Expression Matching - Frisch, Cardell (2004) (4 citations) (Correct)
No context found.
V. Gapayev and B.C. Pierce. Regular object types. In Proceedings of the 10th workshop FOOL, 2003.
Static Analysis of XML Transformations in Java - Kirkegaard, Møller.. (2003) (3 citations) (Correct)
No context found.
V. Gapayev and B. C. Pierce, "Regular object types," in Proc. 17th European Conference on Object-Oriented Programming, ECOOP'03, ser. LNCS, vol. 2743. Springer-Verlag, July 2003.
Information flow security for XML transformations - Benzaken, Burelle, Castagna (2003) (Correct)
No context found.
V. Gapayev and B. Pierce. Regular object types. In Proc. of ECOOP '03, Lecture Notes in Computer Science. Springer, 2003.
Scripting XML with Generic Haskell - Atanassow, Clarke, Jeuring (2003) (2 citations) (Correct)
No context found.
Vladimir Gapeyev and Benjamin C. Pierce. Regular object types. In European Conference on Object-oriented Programming (ECOOP 2003.
Regular Tree Language Recognition with Static Information - Frisch (2004) (1 citation) (Correct)
No context found.
Vladimir Gapeyev and Benjamin Pierce. Regular object types. In FOOL, 2003.
Regular Tree Language Recognition with Static Information - Frisch (2004) (1 citation) (Correct)
No context found.
Vladimir Gapeyev and Benjamin Pierce. Regular object types. In FOOL, 2003.
Inferring Type Isomorphisms Generically - Atanassow, Jeuring (Correct)
No context found.
Vladimir Gapeyev and Benjamin C. Pierce. Regular object types. In European Conference on Object-oriented Programming (ECOOP 2003), 2003.
An Open and Shut Typecase - Vytiniotis, Washburn, Weirich (2004) (3 citations) (Correct)
No context found.
V. Gapayev and B. Pierce. Regular object types. In Proc. 10th International Workshops on Foundations of Object-Oriented Languages, FOOL '03, New Orleans, LA, USA, Jan. 2003.
Static Analysis of XML Transformations in Java - Anders (2003) (3 citations) (Correct)
No context found.
V. Gapayev and B. C. Pierce, "Regular object types," in Proc. 17th European Conference on Object-Oriented Programming, ECOOP'03, ser. LNCS, vol. 2743. Springer-Verlag, July 2003.
Scripting XML with Generic Haskell - Atanassow, Clarke, Jeuring (2003) (2 citations) (Correct)
No context found.
Vladimir Gapeyev and Benjamin C. Pierce. Regular object types. In European Conference on Object-oriented Programming (ECOOP 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC