[www
tom@zwizwa.be**20080923125231] hunk ./www/index.html 13
-  microcontrollers from within <a href="http://www.plt-scheme.org">PLT
-  Scheme</a>.  At its core is a functional
+  microcontrollers for the <a href="http://www.plt-scheme.org">PLT
+  Scheme</a> family of programming languages.
+
+  At its core is a functional
hunk ./www/index.html 18
-  concatenative</a> language Coma extended with quasiquotation-based
-  Scheme to Coma template programming.
+  concatenative</a> macro language Coma, extended with quasiquotation to
+  provide Scheme to Coma template programming.
hunk ./www/index.html 26
-  unnecessary run-time computation and interpretation, and forms the
-  foundation of the metaprogramming system.
+  unnecessary run-time computation and interpretation.
hunk ./www/index.html 152
+<h2>Related Work</h2>
+
+Compared to MetaML, which seems to be the current reference point for
+staged programming systems, Staapl contains functionality related to
+MetaML combined with abstract interpretation.  However, Staapl is
+quite different as it is a non-homogenous two-stage system based on
+flat combinators and dynamic typing, while MetaML is a homogeneous
+multi-stage system based on the lambda calculus and static ML-style
+typing.