Mobile Menu
D
e
c
l
a
r
a
t
i
v
e
A
m
s
t
e
r
d
a
m
Program 2024
Mailing list
Archive
All presentations
Declarative Amsterdam 2024
Declarative Amsterdam 2023
Declarative Amsterdam 2022
Declarative Amsterdam 2021
Declarative Amsterdam 2020
Declarative Amsterdam 2019
About us
Organizing committee
DA on YouTube
DA on LinkedIn
About this site
Sister conferences
Sponsors
Log in
Presentations and tutorials
Sort by
Presenter ↑
Presenter ↓
Year ↓
Title ↑
Active filters:
contributor_id
=
71
Meyer, Manuel
2023
Compiler meets Markup — Live Coding Session in Declarative Swift
Presentation
Meyer, Manuel
2022
Declarative axiomatic and provable correct systems in Swift
Tutorial
