Régis Gascon

Latest

• Resource Bound Certification for a Tail-Recursive Virtual Machine