E-LIB Suche - Ergebnisse für: Wouter Swierstra

1

Translation certification for smart contracts:

Krijnen, Jacco O.G. ; Chakravarty, Manuel M.T. ; Keller, Gabriele.
Science of Computer Programming. 233 (2024) - p. 103051 , 2024

Link: https://doi.org/10.1016/..

2

The Functional Essence of Imperative Binary Search Trees:

Lorenzen, Anton ; Leijen, Daan ; Swierstra, Wouter.
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 518-542 , 2024

Link: https://doi.org/10.1145/..

3

FP²: Fully in-Place Functional Programming:

Lorenzen, Anton ; Leijen, Daan ; Swierstra, Wouter
Proceedings of the ACM on Programming Languages. 7 (2023) ICFP - p. 275-304 , 2023

Link: https://doi.org/10.1145/..

4

A correct-by-construction conversion from lambda calculus t..:

SWIERSTRA, WOUTER
Journal of Functional Programming. 33 (2023) - p. , 2023

Link: https://doi.org/10.1017/..

5

A well-known representation of monoids and its application ..:

SWIERSTRA, WOUTER
Journal of Functional Programming. 32 (2022) - p. , 2022

Link: https://doi.org/10.1017/..

6

Translation Certification for Smart Contracts:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

Krijnen, Jacco O. G. ; Chakravarty, Manuel M. T. ; Keller, Gabriele. - p. 94-111 , 2022

Link: https://doi.org/10.1007/..

7

A completely unique account of enumeration:

van der Rest, Cas ; Swierstra, Wouter
Proceedings of the ACM on Programming Languages. 6 (2022) ICFP - p. 411-437 , 2022

Link: https://doi.org/10.1145/..

8

Calculating Datastructures:

, In: Lecture Notes in Computer Science; Mathematics of Program Construction,

Hinze, Ralf ; Swierstra, Wouter - p. 62-101 , 2022

Link: https://doi.org/10.1007/..

9

Trends in Functional Programming: 23rd International Sympos..

Lecture Notes in Computer Science, 13401

Swierstra, Wouter ; Wu, Nicolas - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

10

Verified Technology Mapping in an Agda DSL for Circuit Desi..:

, In: Proceedings of the 34th Symposium on Implementation and Application of Functional Languages,

Pizani Flor, João Paulo ; Swierstra, Wouter - p. 1-13 , 2022

Link: https://dl.acm.org/doi/1..

11

Algorithmics:

, In: IFIP Advances in Information and Communication Technology; Advancing Research in Information and Communication Technology,

Bird, Richard ; Gibbons, Jeremy ; Hinze, Ralf... - p. 59-98 , 2021

Link: https://doi.org/10.1007/..

12

Heterogeneous binary random-access lists:

SWIERSTRA, WOUTER
Journal of Functional Programming. 30 (2020) - p. , 2020

Link: https://doi.org/10.1017/..

13

What constitutes a musical pattern?:

, In: Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design,

Melkonian, Orestis ; Ren, Iris Yuping ; Swierstra, Wouter. - p. 95-105 , 2019

Link: https://dl.acm.org/doi/1..

14

An efficient algorithm for type-safe structural diffing:

Miraldo, Victor Cacciari ; Swierstra, Wouter
Proceedings of the ACM on Programming Languages. 3 (2019) ICFP - p. 1-29 , 2019

Link: https://doi.org/10.1145/..

15

A predicate transformer semantics for effects (functional p..:

Swierstra, Wouter ; Baanen, Tim
Proceedings of the ACM on Programming Languages. 3 (2019) ICFP - p. 1-26 , 2019

Link: https://doi.org/10.1145/..