A Parallelised High Performance Monte Carlo Simulation Approach for Complex Polymerisation Kinetics
Chaffey-Millar, Hugh, Stewart, Don, Chakravarty, Manuel M. T., Keller, Gabriele, Barner-Kowollik, Christopher
Published in Macromolecular theory and simulations (27.08.2007)
Published in Macromolecular theory and simulations (27.08.2007)
Get full text
Journal Article
Babel Fees via Limited Liabilities
Chakravarty, Manuel M T, Karayannidis, Nikos, Kiayias, Aggelos, Michael Peyton Jones, Vinogradova, Polina
Published in arXiv.org (08.04.2022)
Published in arXiv.org (08.04.2022)
Get full text
Paper
Journal Article
Translation Certification for Smart Contracts
Krijnen, Jacco O G, Chakravarty, Manuel M T, Keller, Gabriele, Swierstra, Wouter
Published in arXiv.org (22.02.2022)
Published in arXiv.org (22.02.2022)
Get full text
Paper
Journal Article
The risks and benefits of teaching purely functional programming in first year
CHAKRAVARTY, MANUEL M. T., KELLER, GABRIELE
Published in Journal of functional programming (01.01.2004)
Published in Journal of functional programming (01.01.2004)
Get full text
Journal Article
Translation certification for smart contracts
Krijnen, Jacco O.G., Chakravarty, Manuel M.T., Keller, Gabriele, Swierstra, Wouter
Published in Science of computer programming (01.03.2024)
Published in Science of computer programming (01.03.2024)
Get full text
Journal Article
Agda Meets Accelerate
Thiemann, Peter, Chakravarty, Manuel M. T.
Published in Implementation and Application of Functional Languages (2013)
Published in Implementation and Application of Functional Languages (2013)
Get full text
Book Chapter
Interfacing Haskell with Object-Oriented Languages
Pang, André T. H, Chakravarty, Manuel M. T
Published in Implementation of Functional Languages (2004)
Published in Implementation of Functional Languages (2004)
Get full text
Book Chapter
Conference Proceeding
On the distributed implementation of aggregate data structures by program transformation
Keller, Gabriele, Chakravarty, Manuel M. T.
Published in Lecture notes in computer science (28.10.2006)
Published in Lecture notes in computer science (28.10.2006)
Get full text
Book Chapter
Conference Proceeding
GOFFIN: Higher-order functions meet concurrent constraints
Chakravarty, Manuel M.T., Guo, Yike, Köhler, Martin, Lock, Hendrik C.R.
Published in Science of computer programming (1998)
Published in Science of computer programming (1998)
Get full text
Journal Article