Type-Level Programming
Less-relevant results
Constructions of Quantum $(r,\delta)$-LRCs from cyclic codes
❓Existential Types Content type: AcademicThe Cascade Log: Reference-Stable Windowing over Tiered Append Sequences
λFunctional Programming Content type: AcademicNo more posts from tiferrei's subscribed feeds.