( en | de | ru )

 

Disambiguierung von "Findler, Robert Bruce"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Collapsible contracts: fixing a pathology of gradual typing.

, , , , und . Proc. ACM Program. Lang., 2 (OOPSLA): 133:1-133:27 (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Robert Bruce Trumbull

Wallace Kwesi Bruce-Tamakloe

Cecil Bruce-Boye

Robert Orlan Bruce Niles

Beate Maria Bruce-Micah

 

Weitere Publikationen von Autoren mit dem selben Namen

Fair enumeration combinators., , , und . J. Funct. Program., (2017)Distributed Places., , , , und . Trends in Functional Programming, Volume 8322 von Lecture Notes in Computer Science, Seite 34-57. Springer, (2013)Herbarium Racketensis: a stroll through the woods (functional pearl)., , , , und . Proc. ACM Program. Lang., 1 (ICFP): 1:1-1:15 (2017)Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters., , und . Proc. ACM Program. Lang., 6 (OOPSLA2): 479-504 (2022)Does blame shifting work?, , , , und . Proc. ACM Program. Lang., 4 (POPL): 65:1-65:29 (2020)Collapsible contracts: fixing a pathology of gradual typing., , , , und . Proc. ACM Program. Lang., 2 (OOPSLA): 133:1-133:27 (2018)Sound and Complete Concolic Testing for Higher-order Functions., , und . ESOP, Volume 12648 von Lecture Notes in Computer Science, Seite 635-663. Springer, (2021)Operational semantics for multi-language programs., und . POPL, Seite 3-10. ACM, (2007)Run your research: on the effectiveness of lightweight mechanization., , , , , , , , , und . POPL, Seite 285-296. ACM, (2012)Blame for all., , , und . STOP@ECOOP, Seite 1-13. ACM, (2009)