Suchergebnisse - "Theory Keywords Dependently Typed Programming"

  • Treffer 1 - 2 von 2
Treffer weiter einschränken
  1. 1

    Modularising inductive families

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

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

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

    Schlagwörter: Design, Languages, Theory Keywords Dependently Typed Programming, Inductive Families, Datatype-Generic Programming

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    DRAFT FOR DTP’13 Relational Algebraic Ornaments

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

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

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

    Schlagwörter: Design, Languages, Theory Keywords Dependently typed programming, inductive families, program derivation

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: