( en | de | ru )

 

Disambiguation of "Sabel, David"

Author of the publication

copydeleteadd this publication to your clipboard
Safety of Nöcker's strictness analysis.

, , and . J. Funct. Program., 18 (4): 503-551 (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David Sabel

Ingeborg Sabel

Martin Sabel

Katja Sabel

Joachim Sabel

 

Other publications of authors with the same name

Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi., , and . GI Jahrestagung, volume P-154 of LNI, page 2931-2945. GI, (2009)Complexity of Deciding Syntactic Equivalence up to Renaming for Term Rewriting Systems (Extended Version)., and . CoRR, (2021)An abstract machine for concurrent haskell with futures.. Software Engineering (Workshops), volume P-199 of LNI, page 29-44. GI, (2012)A Haskell-Implementation of STM Haskell with Early Conflict Detection.. Software Engineering (Workshops), volume 1129 of CEUR Workshop Proceedings, page 171-190. CEUR-WS.org, (2014)Parallelizing DPLL in Haskell., and . Software Engineering (Workshops), volume P-215 of LNI, page 27-42. GI, (2013)Transforming Cycle Rewriting into String Rewriting., and . RTA, volume 36 of LIPIcs, page 285-300. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Structural Rewriting in the pi-Calculus.. WPTE@RTA/TLCA, volume 40 of OASIcs, page 51-62. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus., , and . PPDP, page 4:1-4:15. ACM, (2022)Alpha-renaming of higher-order meta-expressions.. PPDP, page 151-162. ACM, (2017)Program equivalence in a typed probabilistic call-by-need functional language., and . J. Log. Algebraic Methods Program., (October 2023)