An Abstract Machine for Fixed-Order Dynamically Stratified Programs.

Konstantinos Sagonas, Terrance Swift, David Scott Warren

Browse the full CADE paper archive.