Atze van der Ploeg

Showing 4 publications

2016

The Key monad: Type-safe unconstrained dynamic typing

Atze van der Ploeg, Koen Claessen, Pablo Buiras

Haskell 2016 - Proceedings of the 9th International Symposium on Haskell, co-located with ICFP 2016, p. 146-157

Paper in proceeding

2015

Atze van der Ploeg, Koen Lindström Claessen

SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 50 (9), p. 302-314

Paper in proceeding

2015

Atze van der Ploeg, Koen Claessen

ACM SIGPLAN Notices. Vol. 50 (9), p. 302-314

Journal article

2015

B. Basten, J. van den Bos, M. Hills et al

Science of Computer Programming. Vol. 114, p. 7-19

Journal article

Download publication list

You can download this list to your computer.

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.

There might be more projects where Atze van der Ploeg participates, but you have to be logged in as a Chalmers employee to see them.