( en | de | ru )

 

Disambiguierung von "Vazou, Niki"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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 . 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)Type-level computations for Ruby libraries., , , , und . PLDI, Seite 966-979. ACM, (2019)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)Safe couplings: coupled refinement types., , und . Proc. ACM Program. Lang., 6 (ICFP): 596-624 (2022)Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)., , , , und . Haskell@ICFP, Seite 132-144. ACM, (2018)Liquid proof macros., , und . Haskell, Seite 27-38. ACM, (2022)Mechanizing Refinement Types., , und . Proc. ACM Program. Lang., 8 (POPL): 2099-2128 (Januar 2024)