* Practical type inference for arbitrary-rank types. SPJ, Dimitrios Vytiniotis, Stephanie Weirich, and MS. in JFP. * Lexically-scoped type variables. SPJ MS. Unpublished. * First-class modules for Haskell. MS SPJ. In FOOL 9. * Object-Oriented style overloading for Haskell. MS SPJ. In BABEL'01. * Static types for dynamic documents. MS. PhD Thesis. * Type-Indexed Rows. MS and Erik Meijer. In POPL'01. * XMLambda: A functional programming language for constructing and manipulating XML documents. Erik Meijer and MS. Unpublished. * Implicit parameters: Dynamic scoping with static types. Jeffrey Lewis, MS, Erik Meijer and John Launchbury. In POPL'00. * Dynamic typing as staged type inference. MS, Tim Sheard and SPJ. In POPL'98. * Bridging the gulf: A common intermediate language for ML and Haskell. SPJ, John Launchbury, MS In POPL'98.
XBEL, or the XML Bookmark Exchange Language, is an open XML standard for sharing Internet URIs, also known as bookmarks (or favorites in Internet Explorer). An example of XBEL use is the XBELicious application, which stores Del.icio.us bookmarks in XBEL format. The Galeon, Konqueror, Arora and Midori web browsers use XBEL as the format for storing user bookmarks. XBEL was created by the Python XML Special Interest Group [1] "to create an interesting , fun project which was both useful and would demonstrate the Python XML processing software which was being developed at the time," [2].
XOXO (eXtensible Open XHTML Outlines) is an XML microformat for outlines built on top of XHTML. Developed by several authors as an attempt to reuse XHTML building blocks instead of inventing unnecessary new XML elements/attributes, XOXO is based on existing conventions for publishing outlines, lists, and blogrolls on the Web. The XOXO specification defines an outline as a hierarchical, ordered list of arbitrary elements. The specification is fairly open which makes it suitable for many types of list data. E.g. the more semantic version of the S5 presentation file format is based upon XOXO.