École Polytechnique Fédérale de Lausanne — Switzerland
Computer Science · Physical Sciences
12h-index659citations20works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(16), Advanced Software Engineering Methodologies(8), Parallel Computing and Optimization Techniques(7), Formal Methods in Verification(4), Distributed and Parallel Computing Systems(4)
Publications20 total
LISP and Symbolic Computation·2012· 48 citedOpen Access
2012· 40 cited
Dependent Object Types Towards a foundation for Scala's type system
2012· 1 cited
Tool Demo: Scala-Virtualized
2011· 2 cited
2010· 108 citedOpen Access
2010· 100 cited
ACM SIGPLAN Notices·2010· 21 cited
ACM SIGPLAN Notices·2010· 9 cited
Type Constructor Polymorphism for Scala: Theory and Practice (Type constructor polymorfisme voor Scala: theorie en praktijk)
2009· 5 cited
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2009· 47 citedOpen Access
Fighting bit rot with types
Foundations of Software Technology and Theoretical Computer Science·2009· 3 cited
ACM SIGPLAN Notices·2008· 9 citedOpen Access
2008· 66 cited
2008· 123 cited
Lirias (KU Leuven)·2008· 37 citedOpen Access
Lirias (KU Leuven)·2008· 14 citedOpen Access
Towards equal rights for higher-kinded types
2007· 12 cited
On the feasability of feature based composition for programming in the large
2005
Safe language support for feature composition through feature-based dispatch
2005· 2 cited
Frequent Co-authors
Martin Odersky(14), Frank Piessens(7), Tiark Rompf(5), Philipp Haller(3), Wouter Joosen(3), Bruno C. d. S. Oliveira(2), Hassan Chafi(2), Zach DeVito(2), Arvind K. Sujeeth(2), Pat Hanrahan(2), Kunle Olukotun(2), Nada Amin(2), Eddy Truyen(2), Christian Hofer(1), Klaus Ostermann(1), Tillmann Rendel(1), Martin Odersky(1), Jan Smans(1), Maarten Bynens(1)