Zum Inhalt springen

  1. Felleisen, Matthias [VerfasserIn]; Findler, Robert Bruce [VerfasserIn]; Flatt, Matthew [VerfasserIn]

    Semantics engineering with PLT Redex

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge, Mass. [u.a.]: MIT Press, 2009

  2. You, Shu-Hung [VerfasserIn] ; Findler, Robert Bruce [Sonstige Person, Familie und Körperschaft]; Dimoulas, Christos [Sonstige Person, Familie und Körperschaft]

    Sound and Complete Concolic Testing for Higher-Order Functions

    Videos
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Erschienen in: 30th European Symposium on Programming, ESOP 2021 ; (Jan. 2021) -

  3. Felleisen, Matthias [VerfasserIn]; Findler, Robert Bruce [VerfasserIn]; Flatt, Matthew [VerfasserIn]; Krishnamurthi, Shriram [VerfasserIn]

    How to design programs : an introduction to programming and computing - [Second edition]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge: MIT Press, 2021

  4. Takikawa, Asumu [VerfasserIn]; Feltey, Daniel [VerfasserIn]; Dean, Earl [VerfasserIn]; Flatt, Matthew [VerfasserIn]; Findler, Robert Bruce [VerfasserIn]; Tobin-Hochstadt, Sam [VerfasserIn]; Felleisen, Matthias [VerfasserIn] ; Asumu Takikawa and Daniel Feltey and Earl Dean and Matthew Flatt and Robert Bruce Findler and Sam Tobin-Hochstadt and Matthias Felleisen [MitwirkendeR]

    Towards Practical Gradual Typing

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  5. Felleisen, Matthias [VerfasserIn]; Findler, Robert Bruce [VerfasserIn]; Flatt, Matthew [VerfasserIn]; Krishnamurthi, Shriram [VerfasserIn]; Barzilay, Eli [VerfasserIn]; McCarthy, Jay [VerfasserIn]; Tobin-Hochstadt, Sam [VerfasserIn] ; Matthias Felleisen and Robert Bruce Findler and Matthew Flatt and Shriram Krishnamurthi and Eli Barzilay and Jay McCarthy and Sam Tobin-Hochstadt [MitwirkendeR]

    The Racket Manifesto

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015