patrick bahr - Robuta Search

https://bahr.io/pubs/entries/bahr11nwpt.html Patrick Bahr - A Functional Language for Specifying Business Reports We describe our work on developing a functional domain specific language for specifying business reports. The report specification language is part of a novel... patrick bahr functional language specifying business https://bahr.io/pubs/entries/hutton16wf.html Patrick Bahr - Cutting Out Continuations In the field of program transformation, one often transforms programs into continuation-passing style to make their flow of control explicit, and then... patrick bahr cutting continuations https://bahr.io/pubs/entries/calcon.html Patrick Bahr - Calculating Compilers for Concurrency Choice trees have recently been introduced as a general structure for defining the semantics of programming languages with a wide variety of features and... patrick bahr calculating compilers concurrency https://bahr.io/pubs/talks/bahr15fplunch.html Patrick Bahr - Time-indexed Types for Multi-party Contracts Domain-specific languages (DSLs) for complex financial contracts are in practical use in many banks and financial institutions today. Given the level of... patrick bahr time indexed types multi https://bahr.io/pubs/entries/asyncratt.html Patrick Bahr - Asynchronous Modal FRP Over the past decade, a number of languages for functional reactive programming (FRP) have been suggested, which use modal types to ensure properties like... patrick bahr asynchronous modal frp https://bahr.io/pubs/entries/bahr12lmcs.html Patrick Bahr - Modes of Convergence for Term Graph Rewriting Term graph rewriting provides a simple mechanism to finitely represent restricted forms of infinitary term rewriting. The correspondence between infinitary... patrick bahr modes convergence term graph https://bahr.io/pubs/entries/bahr11nwpt.html Patrick Bahr - A Functional Language for Specifying Business Reports We describe our work on developing a functional domain specific language for specifying business reports. The report specification language is part of a novel... patrick bahr functional language specifying business https://bahr.io/pubs/entries/hutton16wf.html Patrick Bahr - Cutting Out Continuations In the field of program transformation, one often transforms programs into continuation-passing style to make their flow of control explicit, and then... patrick bahr cutting continuations https://bahr.io/pubs/entries/calcon.html Patrick Bahr - Calculating Compilers for Concurrency Choice trees have recently been introduced as a general structure for defining the semantics of programming languages with a wide variety of features and... patrick bahr calculating compilers concurrency