Interactive programming in Agda – Objects and graphical user interfaces (Q5372002)

From MaRDI portal
Revision as of 11:12, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 6796947
Language Label Description Also known as
English
Interactive programming in Agda – Objects and graphical user interfaces
scientific article; zbMATH DE number 6796947

    Statements

    title
    Interactive programming in Agda – Objects and graphical user interfaces (English)
    0 references
    author
    Andreas Abel
    0 references
    Stephan Adelsberger
    0 references
    Anton Setzer
    0 references
    publication date
    23 October 2017
    0 references
    describes a project that uses
    Coq
    0 references
    MiniAgda
    0 references
    Haskell
    0 references
    Agda
    0 references
    wxHaskell
    0 references
    Eff
    0 references
    GitHub
    0 references
    cites work
    Q4715213
    0 references
    Q4417849
    0 references
    Q5854733
    0 references
    Copatterns
    0 references
    Q4398769
    0 references
    Indexed containers
    0 references
    Q3839066
    0 references
    Inductive families
    0 references
    Q4219036
    0 references
    Codatatypes in ML
    0 references
    Q2753682
    0 references
    Q5718566
    0 references
    Q3024841
    0 references
    Q3688389
    0 references
    The view from the left
    0 references
    Q4417874
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N18
    0 references
    68T15
    0 references
    68U35
    0 references
    zbMATH DE Number
    6796947
    0 references
    OpenAlex ID
    W2552040597
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5372002&oldid=37422714"
    Powered by MediaWiki