User loginNavigation |
archivesExistential Types == Guarded TypesIn the GHC Users' Guide: And Martin Sulzmann gives us A Systematic Translation of Guarded Recursive Data Types to Existential Types By Jim Apple at 2005-05-06 03:10 | LtU Forum | login or register to post comments | other blogs | 6441 reads
GADTs + Extensible Kinds = Dependent Programming |
Browse archivesActive forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 1 day ago
38 weeks 2 days ago
42 weeks 4 days ago
44 weeks 1 day ago
44 weeks 1 day ago
46 weeks 6 days ago
51 weeks 3 days ago
51 weeks 3 days ago