Výsledky vyhľadávania - "Theory Keywords Dependently typed programming"

Modularising inductive families

Autori: Hsiang-shang Ko Jeremy Gibbons The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Hsiang-shang Ko Jeremy Gibbons The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.ox.ac.uk/people/hsiang-shang.ko/OAOAOO/OAOAOO.pdf.

Predmety: Design, Languages, Theory Keywords Dependently Typed Programming, Inductive Families, Datatype-Generic Programming

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.3650

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.3650
http://www.cs.ox.ac.uk/people/hsiang-shang.ko/OAOAOO/OAOAOO.pdf

DRAFT FOR DTP’13 Relational Algebraic Ornaments

Autori: Hsiang-shang Ko Jeremy Gibbons The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Hsiang-shang Ko Jeremy Gibbons The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.ox.ac.uk/people/hsiang-shang.ko/algOrn/algOrn.pdf.

Predmety: Design, Languages, Theory Keywords Dependently typed programming, inductive families, program derivation

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.1640

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.1640
http://www.cs.ox.ac.uk/people/hsiang-shang.ko/algOrn/algOrn.pdf