( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Parametric Compositional Data Types

, и . MSFP, том 76 из EPTCS, стр. 3-24. (2012)

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.

Artur Bahr

Ute Bahr

Martin Bahr

Karsten Bahr

Elke Bahr

 

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

Partial Order Infinitary Term Rewriting and Böhm Trees.. RTA, том 6 из LIPIcs, стр. 67-84. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Diamonds are not forever: Liveness in reactive programming with guarded recursion., , и . CoRR, (2020)Type families with class, type classes with family., , и . Haskell, стр. 129-140. ACM, (2015)Proving Correctness of Compilers Using Structured Graphs.. FLOPS, том 8475 из Lecture Notes in Computer Science, стр. 221-237. Springer, (2014)Modular Tree Automata.. MPC, том 7342 из Lecture Notes in Computer Science, стр. 263-299. Springer, (2012)Composing and decomposing data types: a closed type families implementation of data types à la carte.. WGP@ICFP, стр. 71-82. ACM, (2014)Abstract Models of Transfinite Reductions.. RTA, том 6 из LIPIcs, стр. 49-66. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Calculating Certified Compilers for Non-deterministic Languages.. MPC, том 9129 из Lecture Notes in Computer Science, стр. 159-186. Springer, (2015)The clocks are ticking: No more delays!, , и . LICS, стр. 1-12. IEEE Computer Society, (2017)Strict Ideal Completions of the Lambda Calculus.. FSCD, том 108 из LIPIcs, стр. 8:1-8:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)