( en | de | ru )

 

Disambiguierung von "Dreyer, Derek"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Typed compilation of recursive datatypes.

, , , , , und . TLDI, Seite 98-108. ACM, (2003)

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.

Derek Dreyer

Heinz Derek

Stefan Derek

Dalınç Dereköy

Derek Harting

 

Weitere Publikationen von Autoren mit dem selben Namen

Melocoton: A Program Logic for Verified Interoperability Between OCaml and C., , , , , und . Proc. ACM Program. Lang., 7 (OOPSLA2): 716-744 (Oktober 2023)A type system for well-founded recursion.. POPL, Seite 293-305. ACM, (2004)A type system for higher-order modules., , und . POPL, Seite 236-249. ACM, (2003)ACM SIGPLAN Notices 38(1), January 2003.Recursive type generativity.. ICFP, Seite 41-53. ACM, (2005)A type system for recursive modules.. ICFP, Seite 289-302. ACM, (2007)RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code., , , und . PLDI, Seite 841-856. ACM, (2022)Typed compilation of recursive datatypes., , , , , und . TLDI, Seite 98-108. ACM, (2003)Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic., , , , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 225-252. Springer, (2020)Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning., , , , , , und . POPL, Seite 637-650. ACM, (2015)RefinedRust: A Type System for High-Assurance Verification of Rust Programs., , , , und . Proc. ACM Program. Lang., 8 (PLDI): 1115-1139 (2024)