Wouter Swierstra

Visar 5 publikationer

2017

Special issue on Programming with Dependent Types Editorial

Wouter Swierstra, Peter Dybjer
Journal of Functional Programming. Vol. 27
Övrig text i vetenskaplig tidskrift
2010

Chalk: a language and tool for architecture design and analysis

Wouter Swierstra, Koen Lindström Claessen, Carl Seger et al
Workshop on Designing Correct Circuits, associated with ETAPS
Övrigt konferensbidrag
2009

High level architectural modelling for early estimation of power and performance

Koen Lindström Claessen, Carl Seger, Mary Sheeran et al
Workshop on Hardware Design and Functional Languages, associated with ETAPS
Övrigt konferensbidrag
2009

Attribute Grammars Fly First-Class How to do Aspect Oriented Programming in Haskell

M. Viera, S. D. Swierstra, Wouter Swierstra
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 44 (9), p. 245-256
Artikel i vetenskaplig tidskrift
2009

A Hoare logic for the state monad: Proof pearl

Wouter Swierstra
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5674 LNCS, p. 440-451
Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.
Det kan finnas fler projekt där Wouter Swierstra medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.