Jérôme Vouillon  Home/Search
Context Related
| pps.jussieu.fr/~vouillon...regtypes.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: pps.jussieu.fr/~vouillon/publi... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different types and a flexible subtyping relation can be defined between types, corresponding to the inclusion of their semantics. For instance, one can define a type for lists and a subtype of this type corresponding to lists of even length. Patterns are simply types annotated with binders. This provides a generalization of... (Update)
Cited by: More
Polymorphism and XDuce-style patterns - Vouillon (Correct)
Active bibliography (related documents): More All
0.2: Semantic Types: A Fresh Look at the Ideal Model for Types - Vouillon, Mellies, Diderot (2004) (Correct)
0.2: Type-based Optimization for Regular Patterns - Levin, Pierce (2005) (Correct)
0.2: XML Goes Native: Run-time Representations for Xtatic - Gapeyev, Levin, Pierce.. (2004) (Correct)
Similar documents based on text:
6.0: Unknown - (Correct)
BibTeX entry: (Update)
J. Vouillon. Polymorphic regular tree types and patterns. In Proceedings of the 33th ACM Conference on Principles of Programming Languages, Charleston, USA, Jan. 2006. To appear. Available from http://www.pps.jussieu.fr/~vouillon/publi/. http://citeseer.ist.psu.edu/vouillon06polymorphic.html More
@misc{ vouillon06polymorphic,
author = "J. Vouillon",
title = "Polymorphic regular tree types and patterns",
text = "J. Vouillon. Polymorphic regular tree types and patterns. In Proceedings
of the 33th ACM Conference on Principles of Programming Languages, Charleston,
USA, Jan. 2006. To appear. Available from http://www.pps.jussieu.fr/~vouillon/publi/.",
year = "2006",
url = "citeseer.ist.psu.edu/vouillon06polymorphic.html" }
Citations (may not include all citations):306 A syntactic approach to type soundness - Wright, Felleisen - 1994
97 and parametric polymorphism (context) - Reynolds, abstraction - 1983
62 Regular expression types for XML - Hosoya, Vouillon et al. - 2005
58 Simple imperative polymorphism - Wright - 1995
38 Coinductive axiomatization of recursive type equality and su.. - Brandt, Henglein - 1997
23 XDuce: A statically typed XML processing language - Hosoya, Pierce - 2003
10 Recursive subtyping revealed - Gapeyev, Levin et al. - 2003
9 Types as intervals (context) - Cartwright - 1985
7 Compiling regular patterns (context) - Levin - 2003
2 Parametric polymorphism for XML - Hosoya, Frisch et al. - 2005
1 ealisation d'un langage adapt e a XML (context) - Frisch, conception - 2004
http://www.cduce.org/
Documents on the same site (http://www.pps.jussieu.fr/~vouillon/publi/): More
Regular Expression Types for XML - Hosoya, Vouillon, Pierce (2000) (Correct)
Objective ML: A simple object-oriented extension of ML - Remy, Vouillon (1997) (Correct)
What's in Unison? A Formal Specification and Reference.. - Pierce, Vouillon (2004) (Correct)
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