From post

A Semi-monad for Semi-structured Data

, , и . ICDT '01: Proceedings of the 8th International Conference on Database Theory, стр. 263--300. London, UK, Springer-Verlag, (2001)

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.

 

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

The Essence of Functional Programming. (января 1992)Et tu, XML? The downfall of the relational empire (abstract).. VLDB, стр. 15. Morgan Kaufmann, (2001)The Extended UTXO Model., , , , , и . Financial Cryptography Workshops, том 12063 из Lecture Notes in Computer Science, стр. 525-539. Springer, (2020)How to Declare an Imperative.. ILPS, стр. 18-32. MIT Press, (1995)GATE: Gradual Effect Types.. ISoLA, том 13036 из Lecture Notes in Computer Science, стр. 335-345. Springer, (2021)Strictness Analysis Aids Time Analysis.. POPL, стр. 119-132. ACM Press, (1988)Once Upon a Type., , и . FPCA, стр. 1-11. ACM, (1995)How to Make ad-hoc Polymorphism Less ad-hoc., и . POPL, стр. 60-76. ACM Press, (1989)The Girard-Reynolds Isomorphism.. TACS, том 2215 из Lecture Notes in Computer Science, стр. 468-491. Springer, (2001)Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract). IWMM, том 986 из Lecture Notes in Computer Science, стр. 117. Springer, (1995)