STAL (was: Type-checking, GC, Forth,rewriting..)

[Massimo Dentico]

I forgotten this:

"Stack-Based Typed Assembly Language"
  http://www.cs.cornell.edu/talc/papers/stal-tr-abstract.html

a varation of Typed Assembly Language (TAL)
  http://www.cs.cornell.edu/talc/

Regards.

--
Massimo Dentico