( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Certified Derivative-Based Parsing of Regular Expressions.

, , и . SBLP, том 9889 из Lecture Notes in Computer Science, стр. 95-109. Springer, (2016)

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.

Carlos Köhler

Carlos Bäzner

Carlos Cardonha

Carlos Schwager

Carlos Oberacker

 

Другие публикации лиц с тем же именем

Special issue on revised and extended versions of papers presented at the 22nd Brazilian Symposium on Programming Languages (SBLP 2018)., и . Sci. Comput. Program., (2022)Type Inference for Overloading without Restrictions, Declarations or Annotations., и . Fuji International Symposium on Functional and Logic Programming, том 1722 из Lecture Notes in Computer Science, стр. 37-52. Springer, (1999)Certified Derivative-Based Parsing of Regular Expressions., , и . SBLP, том 9889 из Lecture Notes in Computer Science, стр. 95-109. Springer, (2016)Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell., , и . J. Univers. Comput. Sci., 9 (8): 873-890 (2003)Ambiguity and constrained polymorphism., , и . Sci. Comput. Program., (2016)Mechanized metatheory for a λ-calculus with trust types., , и . J. Braz. Comput. Soc., 19 (4): 433-443 (2013)Type Inference for GADTs and Anti-unification., , , и . SBLP, том 9325 из Lecture Notes in Computer Science, стр. 16-30. Springer, (2015)Optional Type Classes for Haskell., , , и . SBLP, том 9889 из Lecture Notes in Computer Science, стр. 125-139. Springer, (2016)Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading., , и . J. Braz. Comput. Soc., 19 (4): 423-432 (2013)Adapting Web Contents to WAP Devices using Haskell., и . SCCC, стр. 223-232. IEEE Computer Society, (2001)