Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Janin, David
293  Ergebnisse:
Personensuche X
?
1

An Equational Modeling of Asynchronous Concurrent Programmi..:

, In: Lecture Notes in Computer Science; Trends in Functional Programming,
Janin, David - p. 180-203 , 2020
Link: https://doi.org/10.1007/..
 
?
2

A Timed IO Monad:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,
Janin, David - p. 131-147 , 2020
Link: https://doi.org/10.1007/..
 
?
3

Screaming in the IO monad: a realtime audio processing and ..:

, In: Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design,
Janin, David - p. 71-82 , 2019
Link: https://dl.acm.org/doi/1..
 
?
4

Spatio-Temporal Domains: An Overview:

, In: Theoretical Aspects of Computing – ICTAC 2018; Lecture Notes in Computer Science,
Janin, David - p. 231-251 , 2018
Link: https://doi.org/10.1007/..
 
?
5

Unified media programming: an algebraic approach:

, In: Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design,
Archipoff, Simon ; Janin, David - p. 36-47 , 2017
Link: https://dl.acm.org/doi/1..
 
?
6

FARM 2016 demo summary:

, In: Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design,
Sperber, Michael ; Janin, David - p. 60 ff. , 2016
Link: https://dl.acm.org/doi/1..
 
?
7

Structured reactive programming with polymorphic temporal t..:

, In: Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design,
Archipoff, Simon ; Janin, David - p. 29-40 , 2016
Link: https://dl.acm.org/doi/1..
 
?
8

Proceedings of the 4th International Workshop on Functional..:

Janin, David ; Sperber, Michael , 2016
Link: https://dl.acm.org/doi/1..
 
?
9

On labeled birooted tree languages: Algebras, automata and ..:

Janin, David
Information and Computation.  243 (2015)  - p. 222-248 , 2015
Link: https://doi.org/10.1016/..
 
?
10

Proceedings of the 3rd ACM SIGPLAN International Workshop o..:

Nilsson, Henrik ; Janin, David , 2015
Link: https://dl.acm.org/doi/1..
 
?
11

Session details: Session IV:

, In: Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design,
Janin, David , 2014
Link: https://dl.acm.org/doi/1..
 
?
12

A syntactic congruence for languages of birooted trees:

Blumensath, Achim ; Janin, David
Semigroup Forum.  91 (2014)  3 - p. 675-698 , 2014
Link: https://doi.org/10.1007/..
 
?
13

Tiled polymorphic temporal media:

, In: Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design,
Hudak, Paul ; Janin, David - p. 49-60 , 2014
Link: https://dl.acm.org/doi/1..
 
?
14

The T-calculus : towards a structured programing of (mus..:

, In: Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design,
Janin, David ; Berthaut, Florent ; Desainte-Catherine, Myriam.. - p. 23-34 , 2013
Link: https://dl.acm.org/doi/1..
 
?
15

The monadic theory of finite representations of infinite wo..:

Dawar, Anuj ; Janin, David
Information Processing Letters.  103 (2007)  3 - p. 94-101 , 2007
Link: https://doi.org/10.1016/..
 
1-15