Dirk Kleeblatt

According to our database¹, Dirk Kleeblatt authored at least 4 papers between 2007 and 2011.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2011

On a Strongly Normalizing STG Machine with an Application to Dependent Type Checking.

[BibT_eX]

[DOI]

PhD thesis, 2011

2009

Deriving a Strong Normalizing STG Machine.

[BibT_eX]

[DOI]

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

2007

Checking Dependent Types Using Compiled Code.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2007

Harpy: run-time code generation in haskell.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007