( en | de | ru )

 

Disambiguation of "Sulzmann, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Comparing the performance of concurrent linked-list implementations in Haskell.

, , and . DAMP, page 37-46. ACM, (2009)

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.

Ursula Sulzmann

Reinhold Sulzmann

Auguste Sulzmann

Reinhold Sulzmann

Klaus Sulzmann

 

Other publications of authors with the same name

Boolean Constraints for Binding-Time Analysis., , , and . PADO, volume 2053 of Lecture Notes in Computer Science, page 39-62. Springer, (2001)Principal Type Inference for GHC-Style Multi-parameter Type Classes., , and . APLAS, volume 4279 of Lecture Notes in Computer Science, page 26-43. Springer, (2006)A Framework for Extended Algebraic Data Types., , and . FLOPS, volume 3945 of Lecture Notes in Computer Science, page 47-64. Springer, (2006)Language-Based Program Verification via Expressive Types., and . PLPV@IJCAR, volume 174 of Electronic Notes in Theoretical Computer Science, page 129-147. Elsevier, (2006)Special issue on revised and extended versions of papers presented at the 22nd Brazilian Symposium on Programming Languages (SBLP 2018)., and . Sci. Comput. Program., (2022)An Overview of the Chameleon System.. APLAS, page 16-30. (2002)Data Race Prediction for Inaccurate Traces., and . CoRR, (2019)Type Classes and Constraint Handling Rules, , and . CoRR, (2000)Modular generic programming with extensible superclasses., and . ICFP-WGP, page 55-65. ACM, (2006)A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching., and . CC, volume 8409 of Lecture Notes in Computer Science, page 174-191. Springer, (2014)