Nick Kallen sent me the attached reply. -- Andy Moran PacSoft x7557 Computer Science & Engineering +1 503 748 7557 Oregon Graduate Institute http://www.cse.ogi.edu/~moran
> > - Whether there is any XML Programming Language. Check out XDuce http://www.cis.upenn.edu/~hahosoya/xduce/ . The advantage of XDuce over XMLambda is that there is already an implementation. XDuce is very cool, except it is not higher order and doesn't have parametric polymorphism (although it does have subtyping). Also check out Compaq's Web Language, http://research.compaq.com/SRC/WebL/index.html and as mentioned earlier, XSLT. > There is XMLambda, developed by Mark Shields and Erik Meijer. It's a > language for conveniently constructing and pattern-matching XML, > essentially > a higher-order, polymorphic functional programming language based on XML. > The best place to start is: > > http://www.cse.ogi.edu/~mbs/pub/tir_presentation > > A paper describing an earlier version of XMLambda without any > meta-programming features may be found > > http://www.cse.ogi.edu/~mbs/pub/xmlambda > > The type theory underlying XMLambda, type-indexed rows, is explained in: > > http://www.cse.ogi.edu/~mbs/pub/type_indexed_rows
