Adam D. Ruppe:

> All of this has been done, and caught on to a huge degree.
> They called that asm+types language "C"

This is part of what I was referring to:
http://www.cs.cornell.edu/talc/

Bye,
bearophile

Reply via email to