Zulip Chat Archive
Stream: Is there code for X?
Topic: Branded Data Structure, Ghost Cell, Linearity, QTT
Schrodinger ZHU Yifan (Oct 05 2023 at 04:41):
Lean’s analogue of
- https://plv.mpi-sws.org/rustbelt/ghostcell/
- https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/linear_types.html
- https://dl.acm.org/doi/10.1145/3209108.3209189#:~:text=We%20present%20Quantitative%20Type%20Theory,a%20previous%20system%20by%20McBride.
Last updated: Dec 20 2023 at 11:08 UTC