xmonad in Coq: programming a window manager in a proof assistant
Dutch FP Day; Utrecht, the Netherlands.
From Math to Machine: A formal derivation of an executable Krivine machine
Brouwer Seminar; Nijmegen, the Netherlands.
Data types à la carte
Dutch HUG meeting; Utrecht, the Netherlands.
Dependently typed programming
Summer School on Applied Functional Programming; Utrecht, the Netherlands.
De programmeertaal van de toekomst
NWO Bessensap; Den Haag, the Netherlands.
Dependent types, predicate transformers, and refinement
IFIP WG 2.1 Meeting #67; Reykjavik, Iceland.
Adventures in Extraction
Brouwer Seminar; Nijmegen, the Netherlands.
An introduction to Agda
Brouwer Seminar; Nijmegen, the Netherlands.
Stream Fusion
Stream Seminar; Nijmegen, the Netherlands.
The Problem of the Dutch National Flag
IFIP WG 2.1 Meeting #66; Atlantic City, NJ.
The Logic of Interaction
Brouwer Seminar Series; Nijmegen, the Netherlands.
Me and my research
Vector Fabrics Technical Seminar; Eindhoven, the Netherlands.
The problem of the Dutch National Flag
Dutch FP Day; Nijmegen, the Netherlands.
The problem of the Dutch National Flag
Agda Implementors' Meeting; Göteborg, Sweden.
A Hoare Logic for the State Monad
TPHOLS 2009; München, Germany.
Chalk: A tool for architecture design
Chalmers FP Day; Göteborg, Sweden.
High level architectural modelling for early estimation of power and performance
Hardware design and Functional Languages; York, UK.
A functional specification of effects
Chalmers SET talk; Göteborg, Sweden.
Domain specific embedded languages
Given at the Ericsson DSL4DSP meeting; Göteborg, Sweden.
The Hoare State Monad
Dutch FP Day; Eindhoven, the Netherlands.
The Power of Pi
ICFP 2008; Victoria, BC.
Towards a functional specification of effects
University of Sussex; Brighton, UK.
The Power of Pi
Agda Implementors' Meeting; Göteborg, Sweden.
Dependent Types for Distributed Arrays
Trends in Functional Programming 2008; Heijen, the Netherlands.
The Power of Pi
TYPES Workshop on Dependently Typed Programming 2008; Nottingham, UK.
A total functional specification of mutable state
TYPES Workshop on Effects in Type Theory; Tallinn, Estonia.
Beauty in the Beast: A Functional Semantics of the Awkward Squad
Haskell Workshop 2007; Freiburg, Germany.
Implementing a Dependently Typed Lambda Calculus
Invited seminar at the University of Sheffield; Sheffield, UK.
I/O in a Dependently Typed Programming Language
TYPES 2007; Udine, Italy.
Implementing a Dependently Typed Lambda Calculus
Utrecht University Software Technology Colloquium; Utrecht, the Netherlands.
Compiler Correctness in Coq
Foundations of Programming Group Away Day; Ruddington, UK.
Implementing Observational Equality in Epigram 2
TYPES Workshop on Curry-Howard Implementation Techniques; Nijmegen, the Netherlands.
A Principled Approach to Version Control
Given at the first Fun in the Afternoon Meeting; Oxford, UK.
Dependable software development
Foundations of Programming research seminar; Nottingham, UK.
Better software with better types
Given at Microsoft Research; Redmond, USA.
Isomorphisms for context-free types
TYPES 2006; Nottingham, UK.
Isomorphisms for context-free types
BCTCS 2006; Swansea, UK.
Plug-and-play attribute grammars
AFP 2004 student sessions; Tartu, Estonia.

Content

Contact

FNWI
Radboud Universiteit
Heijendaalseweg 135
6525 AJ Nijmegen
The Netherlands
w.swierstra {at} cs.ru.nl

Last updated 11 January, 2012