Back to Results
First PageMeta Content
Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Computability theory / Table of stars with Bayer designations / Symbol


Appendix to Chen et al., ICFPAppendix to Chen et al., Implicit self-adjusting computation for purely functional programs (ICFPIn Section A, we show that translation maps source types to corresponding target
Add to Reading List

Document Date: 2011-09-08 07:51:15


Open Document

File Size: 355,64 KB

Share Result on Facebook
UPDATE