Digraph

Type theory (programming languages)

Parent topics

Programming languages, data formats and protocols

This topic

Recent activity

You must be signed in to add and move topics and links.

Compiling Rust is NP-hard | Hacker News
https://news.ycombinator.com/item?id=27769718
Algorithmic complexity Rust (programming language)Type theory (programming languages)
Refinement type - Wikipedia
https://en.wikipedia.org/wiki/Refinement_type
Type theory (programming languages)
r/ProgrammingLanguages - Singleton, Fiber and Equivalence
https://www.reddit.com/r/ProgrammingLanguages/comments/abcnmf/singleton_fiber_and_equivalence/
Type theory (programming languages)
singleton_fiber_equivalence
https://k-bx.github.io/articles/singleton_fiber_equivalence.html
Type theory (programming languages)