What can continuations observe in the lazy -calculus (1994)

by Jawahar Chirimar
Venue:University ofPennsylvania
Add To MetaCart
Results 1 - 1 of 1

Proof Theoretic Approach To Specification Languages

by Jawahar Lal Chirimar , 1995
"... ..."
Abstract - Cited by 39 (0 self) - Add to MetaCart
Abstract not found