( en | de | ru )

 

Disambiguation of "Hudak, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Memory Coherence in Shared Virtual Memory Systems.

, and . PODC, page 229-239. ACM, (1986)

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. You can also use the button next to the name to display some publications already assigned to the person.

Lukasz Hudak

Dietmar Hudak

Sabina Hudakova

Sarah Katharina Hudak

Alexander Paul

 

Other publications of authors with the same name

Haskore Music Tutorial.. Advanced Functional Programming, volume 1129 of Lecture Notes in Computer Science, page 38-67. Springer, (1996)Functional Hybrid Modeling., , and . PADL, volume 2562 of Lecture Notes in Computer Science, page 376-390. Springer, (2003)An Algebraic Theory of Polymorphic Temporal Media.. PADL, volume 3057 of Lecture Notes in Computer Science, page 1-15. Springer, (2004)SIGPLAN Notices Special Issue on the Functional Programming Language Haskell., , , and . ACM SIGPLAN Notices, 27 (5): 1 (1992)Prototyping Real-Time Vision Systems: An Experiment in DSL Design., , , and . ICSE, page 484-493. ACM, (1999)Serial Combinators: Öptimal" Grains of Parallelism., and . FPCA, volume 201 of Lecture Notes in Computer Science, page 382-399. Springer, (1985)Lambda in Motion: Controlling Robots with Haskell., , and . PADL, volume 1551 of Lecture Notes in Computer Science, page 91-105. Springer, (1999)Single-Threaded Polymorphic Lambda Calculus, and . LICS, page 333-343. IEEE Computer Society, (1990)An Ode to Arrows., and . PADL, volume 5937 of Lecture Notes in Computer Science, page 152-166. Springer, (2010)Shifting Expression Procedures into Reverse., and . PEPM, page 95-104. University of Aarhus, (1999)