Fingerprint
Dive into the research topics of 'Equational reasoning about programs with general recursion and call-by-value semantics'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Garrin Kimmell, Aaron Stump, Harley D. Eades, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn
Research output: Contribution to journal › Article › peer-review