Course page Home page Home page CoursesNew course

Refinement and dependent types: Programming Language Design course | Zoonk

27. Refinement and dependent types

Use refinements, dependent function types, propositions as types, and proof terms to express stronger guarantees. Work through decidability, annotation burden, and the boundary between checking and proving.

Programming Language Design

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc