( en | de | ru )

 

Disambiguierung von "Vazou, Niki"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying replicated data types with typeclass refinements in Liquid Haskell.

, , , , , und . Proc. ACM Program. Lang., 4 (OOPSLA): 216:1-216:30 (2020)

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.

Niki Vazou

Niki Ioannidis

Niki Peil

Niki Amanatidis

Niki Winter

 

Weitere Publikationen von Autoren mit dem selben Namen

Liquidate your assets: reasoning about resource usage in liquid Haskell., , und . Proc. ACM Program. Lang., 4 (POPL): 24:1-24:27 (2020)Refinement Types: A Tutorial., und . CoRR, (2020)Refinement Types: A Tutorial., und . Found. Trends Program. Lang., 6 (3-4): 159-317 (2021)How to safely use extensionality in Liquid Haskell., und . Haskell, Seite 13-26. ACM, (2022)Verifying replicated data types with typeclass refinements in Liquid Haskell., , , , , und . Proc. ACM Program. Lang., 4 (OOPSLA): 216:1-216:30 (2020)REST: Integrating Term Rewriting with Program Verification., , , und . ECOOP, Volume 222 von LIPIcs, Seite 13:1-13:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Type-level computations for Ruby libraries., , , , und . PLDI, Seite 966-979. ACM, (2019)Safe couplings: coupled refinement types., , und . Proc. ACM Program. Lang., 6 (ICFP): 596-624 (2022)Flux: Liquid Types for Rust., , , und . Proc. ACM Program. Lang., 7 (PLDI): 1533-1557 (2023)REST: Integrating Term Rewriting with Program Verification (Extended Version)., , , und . CoRR, (2022)