Publications
2007
A Relation Algebraic Semantics for a Lazy Functional Logic Language
|
with Jan Christiansen. Draft version. Submitted to RelMics 2008 |
193 K |
Denotation by Transformation -Towards Obtaining a Denotational Semantics by Transformation to Point-free Style
|
|
with Jan Christiansen |
226 K |
|
|
version for the LOPSTR proceedings |
200 K |
|
|
slides of presentation at LOPSTR |
307 K |
On a Tighter Integration of Functional and Logic Programming
|
|
TighterIntegrationAPLAS2007.pdf with Frank Huch. To be presented at APLAS 2007 |
246 K |
The Kiel Curry System KiCS
|
|
with Frank Huch. Presented at the 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung |
117 K |
Compiling Entity-Relationship Diagrams into Declarative Programs
|
with Michael Hanus and Marion Müller. Presented at the 21st Workshop on (Constraint) Logic Programming. BibTeX-Entry |
448 |
The Kiel Curry System KiCS
|
|
with Frank Huch |
117 K |
|
|
Slides of presentation at the 21st Workshop on (Constraint) Logic Programming |
323 K |
|
BibTeX-Entry |
387 |
Lazy Call-By-Value Evaluation
|
|
with Frank Huch, Sebastian Fischer, Michael Hanus, German Vidal |
315 K |
|
|
Slides of presentation at ICFP 2007 |
1.0 M |
|
|
BibTeX Entry |
352 |
|
|
Slides of presentation at SingHaskell 2007 |
758 K |
Debugging Lazy Functional Programs by Asking the Oracle
|
|
with Holger Siegel |
172 K |
|
|
Slides of presentation at IFL 2007 |
307 K |
Compiling ER Specifications into Declarative Programs
|
|
with Michael Hanus and Marion Müller. Presented at The 17'th Workshop on Logic-Based Methods in Programming Environments (WLPE 07) |
181 K |
|
|
BibTeX Entry |
1.0 K |
Computing with Subspaces
|
|
with Sergio Antoy |
214 K |
|
|
379 |
Declaring Numbers
|
|
with Frank Huch and Sebastian Fischer |
185 K |
|
|
BibTeX Entry |
156 |
Towards A New Denotational Semantics For Curry and The Algebra of Curry
|
|
RelationalSemanticsBadHonnef07.pdf with Jan Christiansen |
218 K |