( en | de | ru )

 

Disambiguierung von "Swierstra, Wouter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Computational Evaluation of Musical Pattern Discovery Algorithms.

, , , und . CoRR, (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.

Wouter Swierstra

Wouter Goris

Wouter Dorigo

Wouter Horré

Wouter Rademaker

 

Weitere Publikationen von Autoren mit dem selben Namen

FP²: Fully in-Place Functional Programming., , und . Proc. ACM Program. Lang., 7 (ICFP): 275-304 (August 2023)Data Types à La Carte. J. Funct. Program., 18 (4): 423--436 (Juli 2008)A well-known representation of monoids and its application to the function 'vector reverse'.. J. Funct. Program., (2022)From algebra to abstract machine: a verified generic construction., und . TyDe@ICFP, Seite 78-90. ACM, (2018)An efficient algorithm for type-safe structural diffing., und . Proc. ACM Program. Lang., 3 (ICFP): 113:1-113:29 (2019)Calculating Datastructures., und . MPC, Volume 13544 von Lecture Notes in Computer Science, Seite 62-101. Springer, (2022)Type-directed diffing of structured data., , und . TyDe@ICFP, Seite 2-15. ACM, (2017)Translation Certification for Smart Contracts., , , und . FLOPS, Volume 13215 von Lecture Notes in Computer Science, Seite 94-111. Springer, (2022)A completely unique account of enumeration., und . Proc. ACM Program. Lang., 6 (ICFP): 411-437 (2022)A predicate transformer semantics for effects (functional pearl)., und . Proc. ACM Program. Lang., 3 (ICFP): 103:1-103:26 (2019)