Paul Hudak
From MaRDI portal
Person:1085594
Available identifiers
zbMath Open hudak.paulWikidataQ15432950 ScholiaQ15432950MaRDI QIDQ1085594
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q5112631 | 2020-06-02 | Paper |
| Functional reactive animation | 2017-08-21 | Paper |
| Settable and non-interfering signal functions for FRP | 2016-09-29 | Paper |
| Real-time FRP | 2015-03-09 | Paper |
| Causal commutative arrows and their optimization | 2015-01-06 | Paper |
| Causal commutative arrows | 2013-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473723 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787437 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3028330 | 1987-01-01 | Paper |
| Denotational semantics of a para-functional programming language | 1986-01-01 | Paper |
| A new list compaction method | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3685177 | 1985-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Paul Hudak
