Dependent Haskell, GADTs, Type Families, Kind System
Reinventing woodwind instuments (WHY2025)
cdn.media.ccc.de·6d
Viewpoint-Tolerant Depth Perception for Shared Extended Space Experience on Wall-Sized Display
arxiv.org·6d
Loading...Loading more...
Dependent Haskell, GADTs, Type Families, Kind System