Wouter Swierstra

Publikationer (5)
Projekt (0)

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

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

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

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.