Lambda the Ultimate

inactiveTopic Semantic Lego
started 5/21/2002; 5:44:35 PM - last post 5/21/2002; 5:44:35 PM
andrew cooke - Semantic Lego  blueArrow
5/21/2002; 5:44:35 PM (reads: 1810, responses: 0)
Semantic Lego
[...] we divide a semantics into two parts, a computation ADT and a language ADT. The computation ADT represents the basic semantic structure of the language. The language ADT represents the [...] grammar. [...] Language constructs are polymorphic over many different computation ADTs. [...] We build the computation ADT from composable parts [] many different computation ADTs and, since our language constructs are polymorphic, many different language semantics.

Plug and play semantics. The quote above is from the thesis, but the link contains related papers. This all follows on from this thread.
Posted to implementation by andrew cooke on 5/21/02; 5:47:34 PM