A Comparison of the Capability Systems of Encore, Pony and Rust [pdf]uu.diva-portal.org·1 pts·danny00·0
Refinement Kinds: Type-Safe Programming with Practical Type-Level Computationarxiv.org·2 pts·danny00·0
Pika parsing: reformulating packrat parsing as a dynamic programming algorithmarxiv.org·40 pts·danny00·6