Jino Hyun wrote:
> - Whether there is any XML Programming Language.
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
Cheers,
Andy
--
Andy Moran
PacSoft x7557
Computer Science & Engineering +1 503 748 7557
Oregon Graduate Institute http://www.cse.ogi.edu/~moran
