• Assistant Professor in Computer Science
• bernardy•chalmers∙se
• Department of Computer Science and Engineering
• Chalmers University of Technology
• SE-412 96 Göteborg, Sweden

Research Areas

• Functional Programming
• Type Theory
• Programming Languages

Selected Publications

• Proofs for Free: Parametricity for dependent types.
• Realizability and Parametricity in Pure Type Systems.
• Testing Polymorphic Properties.
• Lazy Functional Incremental Parsing.
• Generic programming with C++ concepts and Haskell type classes: a comparison.

Full List

• At DBLP Has bibtex entries
• At Chalmers Has drafts, theses and reports
• At Google Has bibliometrics

Teaching

• Programming Paradigms