From post

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.

 

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

Describing microservices using modern Haskell (experience report)., и . Haskell@ICFP, стр. 1-8. ACM, (2020)A compiler architecture for domain-specific type error diagnosis., и . Open Comput. Sci., 9 (1): 33-51 (2019)On the Cost of Capital in Inventory Models: The Case of Deterministic Demand.. Foundations and Trends in Technology, Information and Operations Management, 10 (3-4): 338-357 (2017)DipGame: a testbed for multiagent systems., , , и . AAMAS, стр. 1619-1620. IFAAMAS, (2010)Type Error Customization in GHC: Controlling expression-level type errors by type-level programming., и . IFL, стр. 2:1-2:15. ACM, (2017)Generic programming of all kinds., и . Haskell@ICFP, стр. 41-54. ACM, (2018)Generic Matching of Tree Regular Expressions over Haskell Data Types., и . PADL, том 9585 из Lecture Notes in Computer Science, стр. 83-98. Springer, (2016)Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types., , и . CoRR, (2013)Reverse Factoring: A Theory on the Value of Payment Terms Extension., и . Foundations and Trends in Technology, Information and Operations Management, 10 (3-4): 270-288 (2017)Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning., , и . IFL, стр. 33-43. ACM, (2020)