icfp24 Specification And Verification For Unrestricted Algebraic Effects And Handling 16.09 MB 19:32 Play Download
Unicode In Friendly Terms Ascii Utf8 Code Points Character Encodings And More 8.98 MB 10:54 Play Download
Whats A Safe Way To Convert Bytes To Strings Decode Bytes Safely Avoiding Common Pitfalls In 506.25 KB 0:36 Play Download
popl18 Relatively Complete Refinement Type System For Verification Of Higherorder No 4.57 MB 25:33 Play Download
