icfp24 Specification And Verification For Unrestricted Algebraic Effects And Handling 16.09 MB 19:32 Play Download
pldi23 Featuresensitive Coverage For Conformance Testing Of Programming Language Implementations 15.56 MB 18:53 Play Download
cpp23 A Formalization Of The Development Closedness Criterion For Leftlinear Term Rewr 18.83 MB 22:51 Play Download
cpp24 Lean Formalization Of Extended Regular Expression Matching With Lookarounds 6.54 MB 27:56 Play Download
Cppcon 2017 Barbara Geller Ansel Sermersheim unicode Strings Why The Implementation Matters 7.28 MB 58:50 Play Download
