( en | de | ru )

 

Disambiguation of "Hudak, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors.

, , and . PLDI, page 338-352. ACM, (1991)

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

Sarah Katharina Hudak

Sabina Hudakova

Katarina Paulsson

 

Other publications of authors with the same name

Rolling Your Own MADT - A Connection Between Linear Types and Monads., and . POPL, page 54-66. ACM Press, (1997)Functional Hybrid Modeling., , and . PADL, volume 2562 of Lecture Notes in Computer Science, page 376-390. Springer, (2003)Haskore Music Tutorial.. Advanced Functional Programming, volume 1129 of Lecture Notes in Computer Science, page 38-67. Springer, (1996)An Algebraic Theory of Polymorphic Temporal Media.. PADL, volume 3057 of Lecture Notes in Computer Science, page 1-15. Springer, (2004)Distributed Execution of Functional Programs Using Serial Combinators., and . IEEE Trans. Computers, 34 (10): 881-891 (1985)Shifting Expression Procedures into Reverse., and . PEPM, page 95-104. University of Aarhus, (1999)Exploring Parafunctional Programming: Separating the What from the How.. IEEE Software, 5 (1): 54-61 (1988)Serial Combinators: Öptimal" Grains of Parallelism., and . FPCA, volume 201 of Lecture Notes in Computer Science, page 382-399. Springer, (1985)Prototyping Real-Time Vision Systems: An Experiment in DSL Design., , , and . ICSE, page 484-493. ACM, (1999)A Gentle Introduction To Haskell 98, , and . (1999)