iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/journals/pacmpl/MoyNTH21.rdf
Cameron Moy et al.: Corpse reviver: sound and efficient gradual typing via contract verification. (2021) journals/pacmpl/MoyNTH21 10.1145/3434334 Corpse reviver: sound and efficient gradual typing via contract verification. 4 Cameron Moy 1 Phuc C. Nguyen 2 Sam Tobin-Hochstadt 3 David Van Horn 4 1-28 Proc. ACM Program. Lang. Proc. ACM Program. Lang. 5 POPL 2021 provenance information for RDF data of dblp record 'journals/pacmpl/MoyNTH21' 2024-08-04T19:49:29+0200