default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBernd Brassel
Person information
- affiliation: Christian-Albrechts-Universität zu Kiel
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2013
[c23]Bernd Braßel, Michael Hanus
, Björn Peemöller, Fabian Reck:
Implementing Equational Constraints in a Functional Language. PADL 2013: 125-140- 2011
- [c22]Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck:
KiCS2: A New Compiler from Curry to Haskell. WFLP 2011: 1-18 - [i2]Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck:
Implementing Equational Constraints in a Functional Language. CoRR abs/1108.5609 (2011) - 2010
- [b1]Bernd Braßel:
Implementing Functional Logic Programs by Translation into Purely Functional Programs. University of Kiel, 2010, pp. 1-179 - [c21]Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck:
Transforming Functional Logic Programs into Monadic Functional Programs. WFLP 2010: 30-47
2000 – 2009
- 2009
- [c20]Rudolf Berghammer, Bernd Braßel:
Computing and Visualizing Closure Objects Using Relation Algebra and RelView. CASC 2009: 29-44 - 2008
- [c19]Bernd Braßel, Jan Christiansen:
A Relation Algebraic Semantics for a Lazy Functional Logic Language. RelMiCS 2008: 37-53 - [c18]Bernd Braßel, Sebastian Fischer:
From Functional Logic Programs to Purely Functional Programs Preserving Laziness. IFL 2008: 25-42 - [c17]Bernd Braßel, Michael Hanus, Marion Müller:
High-Level Database Programming in Curry. PADL 2008: 316-332 - [c16]Bernd Braßel:
A Technique to Build Debugging Tools for Lazy Functional Logic Languages. WFLP 2008: 39-53 - 2007
- [c15]Bernd Braßel, Frank Huch:
On a Tighter Integration of Functional and Logic Programming. APLAS 2007: 122-138 - [c14]Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal:
Lazy call-by-value evaluation. ICFP 2007: 265-276 - [c13]Bernd Braßel, Holger Siegel:
Debugging Lazy Functional Programs by Asking the Oracle. IFL 2007: 183-200 - [c12]Bernd Braßel, Jan Christiansen:
Denotation by Transformation. LOPSTR 2007: 90-105 - [c11]Sergio Antoy, Bernd Braßel:
Computing with subspaces. PPDP 2007: 121-130 - [c10]Bernd Brassel, Frank Huch:
The Kiel Curry System KiCS. INAP/WLP 2007: 195-205 - [c9]Bernd Braßel, Sebastian Fischer, Frank Huch:
Declaring Numbers. WFLP@RDP 2007: 111-124 - [i1]Bernd Braßel, Michael Hanus, Marion Müller:
Compiling ER Specifications into Declarative Programs. CoRR abs/0711.0348 (2007) - 2006
- [j2]Bernd Braßel:
Searching Bugs by Visualizing Computations. Softwaretechnik-Trends 26(2) (2006) - [c8]Bernd Brassel, Sebastian Fischer, Frank Huch:
A Program Transformation for Tracing Functional Logic Computations. LOPSTR 2006: 160-176 - [c7]Bernd Braßel:
A Framework for Interpreting Traces of Functional Logic Computations. WFLP 2006: 91-106 - 2005
- [c6]Bernd Braßel, Michael Hanus:
Nondeterminism Analysis of Functional Logic Programs. ICLP 2005: 265-279 - [c5]Bernd Braßel, Frank Huch:
Translating curry to haskell system demo. WCFLP 2005: 60-65 - 2004
- [j1]Bernd Braßel, Michael Hanus, Frank Huch:
Encapsulating Non-Determinism in Functional Logic Computations. J. Funct. Log. Program. 2004 (2004) - [c4]Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal:
Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197 - [c3]Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch:
Observing Functional Logic Computations. PADL 2004: 193-208 - [c2]Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal:
A semantics for tracing declarative multi-paradigm programs. PPDP 2004: 179-190 - 2003
- [c1]Sergio Antoy, Bernd Brassel, Michael Hanus:
Conditional narrowing without conditions. PPDP 2003: 20-31
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
