Search Results - "Programming language theory"

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Cover Image

    Interactive Teaching of Programming Language Theory with a Proof Assistant by Bereczky, Péter, Donkó, István, Horpácsi, Dániel, Kaposi, Ambrus, Németh, Dávid János

    ISSN: 2676-9425, 2676-9425
    Published: 28.04.2020
    “… technical skills in applying formal methods. The authors have launched practice classes for two programming language theory subjects and carefully developed course…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Human-AI Interaction in the Era of Large Language Models (LLMs) by Mohammadi, Behnam

    ISBN: 9798290943916
    Published: ProQuest Dissertations & Theses 01.01.2025
    “…The first chapter, joint work with Nikhil Malik, Tim Derdenger, and Kannan Srinivasan, challenges conventional wisdom regarding eXplainable AI (XAI)…”
    Get full text
    Dissertation
    Save to List
    Saved in:
  3. 3
    Cover Image

    Introduction to Univalent Foundations of Mathematics with Agda by Martín Hötzel Escardó

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 02.09.2022
    Published in arXiv.org (02.09.2022)
    “… Agda allows us to write mathematical definitions, constructions, theorems and proofs, for example in number theory, analysis, group theory, topology, category theory or programming language theory…”
    Get full text
    Paper
    Save to List
    Saved in:
  4. 4
    Cover Image

    University software education matched to social requests by Yamaura, T., Onoma, A.K.

    ISBN: 9780769518626, 0769518621
    Published: IEEE 2002
    “… On the other hand, special subjects, such as programming…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: