type-theory
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| What *sort* of mathematical foundations are required to contribute to the research on modular implicits, typed effects, and the like? |
|
2 | 648 | August 29, 2023 |