josh-hs-ko

Institute of Information Science, Academia SinicaTaipei, Taiwan

Pinned Repositories

dissertation
Analysis and synthesis of inductive families (DPhil dissertation)
Language:TeX20
FLOLAC-14
Type Theory and Logic lectures for FLOLAC’14
Language:TeX104
josh-hs-ko.github.io
Personal website
Language:HTML50
lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
Language:Haskell2 2 00
NDGP
Datatype-generic programming meets elaborator reflection
Language:TeX21
Thesis
Analysis and synthesis of inductive families
Language:Agda61

josh-hs-ko's Repositories

josh-hs-ko/FLOLAC-14
Type Theory and Logic lectures for FLOLAC’14
Language:TeX104
josh-hs-ko/Thesis
Analysis and synthesis of inductive families
Language:Agda61
josh-hs-ko/josh-hs-ko.github.io
Personal website
Language:HTML50
josh-hs-ko/dissertation
Analysis and synthesis of inductive families (DPhil dissertation)
Language:TeX20
josh-hs-ko/lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
Language:Haskell2 2 00
josh-hs-ko/NDGP
Datatype-generic programming meets elaborator reflection
Language:TeX21
josh-hs-ko/FLOLAC-semantics
Language:TeX