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.

 

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

On the cost semantics for spreadsheets with sheet-defined functions., , , , и . J. Comput. Lang., (2022)Early Nordic Compilers and Autocodes.. History of Nordic Computing, том 447 из IFIP Advances in Information and Communication Technology, стр. 350-366. Springer, (2014)Demonstrating Lambda Calculus Reduction.. MFPS, том 45 из Electronic Notes in Theoretical Computer Science, стр. 424-432. Elsevier, (2001)2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015)., , и . ICSE (2), стр. 1005-1006. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Flow Analysis of Code Customizations., и . ECOOP, том 5142 из Lecture Notes in Computer Science, стр. 285-308. Springer, (2008)Decidability and Undecidability Results for Duration Calculus., , и . STACS, том 665 из Lecture Notes in Computer Science, стр. 58-68. Springer, (1993)Programming Language Specification and Implementation.. ISoLA (1), том 11244 из Lecture Notes in Computer Science, стр. 162-183. Springer, (2018)Partial Evaluation for the Lambda Calculus., , и . Partial Evaluation, том 1706 из Lecture Notes in Computer Science, стр. 203-220. Springer, (1998)Globalization and Live Variables., и . PEPM, стр. 166-177. ACM, (1991)On Designing Applied DSLs for Non-Programming Experts in Evolving Domains., , и . MoDELS, стр. 227-238. IEEE, (2021)