Discover open access scientific publications

Search, annotate, share and cite publications

Publications by David Janin

Screaming in the IO Monad: A Realtime Audio Processing and Control Experiment in Haskell

2019English

Automata for the Mu-Calculus and Related Results

BRICS Report Series
1995English

Related publications

Inference and Learning in Gamma Chains for Bayesian Audio Processing

Journal of the Acoustical Society of America
AcousticsUltrasonicsArtsHumanities
2008English

Modular Monad Transformers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

A Role for Dependent Types in Haskell

Proceedings of the ACM on Programming Languages
2019English

MS28.02 Combination IO+IO

Journal of Thoracic Oncology
MedicineOncologyRespiratory MedicinePulmonary
2018English

Attentional Control in Interpreting: A Model of Language Control and Processing Control

Bilingualism
LinguisticsEducationLanguage
2019English

Bayesian Statistical Methods for Audio and Music Processing

2018English

Revisiting Software Transactional Memory in Haskell

ACM SIGPLAN Notices
Computer Science
2018English

Database Manipulation in Haskell 1.3

1995English

Operational Semantics Using the Partiality Monad

ACM SIGPLAN Notices
Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy