Skip to content

Project ideas (Summer 2019)

Jump to bottom Edit New page
nikswamy edited this page Mar 15, 2019 · 2 revisions

  • Low* lenses and separation logic

  • Effect hiding: Local state, extrinsic proofs of divergence, exception handlers ...

  • Modules and sections

  • Finish miTLS

  • Effect polymorphism

  • Intersection types

Add a custom footer
Add a custom sidebar

Clone this wiki locally