BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Croatia
1 × Denmark
1 × Italy
1 × Poland
1 × The Netherlands
1 × USA
2 × United Kingdom
Collaborated with:
M.Schmidt-Schauß E.Machkasova C.Rau H.Zantema Nils Dallmeyer
Talks about:
calculus (3) program (3) concurr (3) haskel (3) call (3) transform (2) function (2) languag (2) express (2) correct (2)

Person: David Sabel

DBLP DBLP: Sabel:David

Facilitated 1 volumes:

PPDP 2018Ed

Contributed to:

PPDP 20152015
RTA 20152015
RTA-TLCA 20142014
ICFP 20132013
RTA 20132013
IJCAR 20122012
LICS 20122012
PPDP 20112011
RTA 20102010
PPDP 20162016
PPDP 20172017
PPDP 20182018

Wrote 13 papers:

PPDP-2015-Schmidt-Schauss #call-by #functional #semantics
Improvements in a functional core language with call-by-need operational semantics (MSS, DS), pp. 220–231.
RTA-2015-SabelZ #string
Transforming Cycle Rewriting into String Rewriting (DS, HZ), pp. 285–300.
RTA-TLCA-2014-Schmidt-SchaussS #call-by #λ-calculus
Applicative May- and Should-Simulation in the Call-by-Value λ Calculus with AMB (MSS, DS), pp. 379–394.
ICFP-2013-Schmidt-SchaussS #correctness #haskell #implementation
Correctness of an STM Haskell implementation (MSS, DS), pp. 161–172.
RTA-2013-Schmidt-SchaussMS #lazy evaluation #λ-calculus
Extending Abramsky’s Lazy λ Calculus: (Non)-Conservativity of Embeddings (MSS, EM, DS), pp. 239–254.
RTA-2013-Schmidt-SchaussRS #algorithm #complexity
Algorithms for Extended α-Equivalence and Complexity (MSS, CR, DS), pp. 255–270.
IJCAR-2012-RauSS #correctness #problem #program transformation #termination
Correctness of Program Transformations as a Termination Problem (CR, DS, MSS), pp. 462–476.
LICS-2012-SabelS #concurrent #haskell
Conservative Concurrency in Haskell (DS, MSS), pp. 561–570.
PPDP-2011-SabelS #concurrent #haskell #semantics
A contextual semantics for concurrent Haskell with futures (DS, MSS), pp. 101–112.
RTA-2010-Schmidt-SchaussSM #call-by #simulation #λ-calculus
Simulation in the Call-by-Need λ-Calculus with letrec (MSS, DS, EM), pp. 295–310.
PPDP-2016-Schmidt-Schauss #recursion #unification
Unification of program expressions with recursive bindings (MSS, DS), pp. 160–173.
PPDP-2017-Sabel #higher-order
Alpha-renaming of higher-order meta-expressions (DS), pp. 151–162.
PPDP-2018-Schmidt-Schauss #concurrent #functional #parallel #programming language
Sequential and Parallel Improvements in a Concurrent Functional Programming Language (MSS, DS, ND), p. 13.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.