dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Bernd Brassel (Selection)

Bernd Braßel

Christian-Albrechts-Universität zu Kiel

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck: KiCS2: A New Compiler from Curry to Haskell. WFLP 2011: 1-18
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck: Implementing Equational Constraints in a Functional Language CoRR abs/1108.5609: (2011)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck: Transforming Functional Logic Programs into Monadic Functional Programs. WFLP 2010: 30-47
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Braßel, Michael Hanus, Marion Müller: High-Level Database Programming in Curry. PADL 2008: 316-332
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal: Lazy call-by-value evaluation. ICFP 2007: 265-276
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Braßel, Michael Hanus, Marion Müller: Compiling ER Specifications into Declarative Programs CoRR abs/0711.0348: (2007)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Braßel, Michael Hanus: Nondeterminism Analysis of Functional Logic Programs. ICLP 2005: 265-279
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal: Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch: Observing Functional Logic Computations. PADL 2004: 193-208
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Brassel, Michael Hanus, Frank Huch, Germán Vidal: A semantics for tracing declarative multi-paradigm programs. PPDP 2004: 179-190
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Antoy, Bernd Brassel, Michael Hanus: Conditional narrowing without conditions. PPDP 2003: 20-31

Selection of 11 from 24 records - Bernd Brassel has 13 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page