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.

 

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

Evolution of Distributed Java Programs., , и . Component Deployment, том 2370 из Lecture Notes in Computer Science, стр. 51-66. Springer, (2002)Necessity Specifications for Robustness., , , и . CoRR, (2022)Strengthening the Zipper., и . LDTA, том 253 из Electronic Notes in Theoretical Computer Science, стр. 3-18. Elsevier, (2009)Ephemeral Java Source Code., и . FTDCS, стр. 9-14. IEEE Computer Society, (1999)Safe Upgrading without Restarting., и . ICSM, стр. 129-137. IEEE Computer Society, (2003)Higher-order type-level programming in Haskell., , , и . Proc. ACM Program. Lang., 3 (ICFP): 102:1-102:26 (2019)Formal underpinnings of Java.. OOPSLA Addendum, ACM, (1998)Modelling Darwin in the Pi-Caculus., , и . Dagstuhl Seminar on Distributed Systems, том 938 из Lecture Notes in Computer Science, стр. 133-152. Springer, (1994)High coverage testing of Haskell programs., , и . ISSTA, стр. 375-385. ACM, (2011)Finding the needle: stack traces for GHC., , и . Haskell, стр. 129-140. ACM, (2009)