New answers tagged

0 votes

What are some practical applications of inductive-inductive and inductive-recursive types?

As far as I know, the software industry remains blissfully unaware of dependent types in general, and of inductive-inductive types and inductive-recursive types in particular. Intersection types have ...
winitzki's user avatar
  • 389

Top 50 recent answers are included