Experience Report: A Haskell interpreter for CellML

Experience Report: A Haskell interpreter for CellML

Show other versions (1)

In this paper we present our use of functional programming (FP), specifically Haskell, to provide an operational semantics for a domain-specific language, CellML, that describes mathematical models of biological processes. We analyse the benefits and shortcomings of this approach, in comparison with...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Cooper, J, McKeever, S
Fformat:	Conference item
Cyhoeddwyd:	ACM Press 2007

Eitemau Tebyg

Experience Report: A Haskell Interpreter for CellML
gan: Cooper, J, et al.
Cyhoeddwyd: (2007)

CellML and Associated Tools and Techniques
gan: Garny, A, et al.
Cyhoeddwyd: (2008)

CellML and associated tools and techniques.
gan: Garny, A, et al.
Cyhoeddwyd: (2008)

CellML 2.0
gan: Clerx, M, et al.
Cyhoeddwyd: (2020)

CellML 2.0
gan: Clerx Michael, et al.
Cyhoeddwyd: (2020-07-01)

CellML 2.0.1
gan: Clerx Michael, et al.
Cyhoeddwyd: (2023-03-01)

Cellular cardiac electrophysiology modeling with Chaste and CellML
gan: Cooper, J, et al.
Cyhoeddwyd: (2015)

Cellular cardiac electrophysiology modelling with Chaste and CellML
gan: Cooper, J, et al.
Cyhoeddwyd: (2015)

An overview of the CellML API and its implementation
gan: Halstead Matt, et al.
Cyhoeddwyd: (2010-04-01)

The CellML 1.1 Specification
gan: Cuellar Autumn, et al.
Cyhoeddwyd: (2015-06-01)

Cellular cardiac electrophysiology modelling with Chaste and CellML
gan: Jonathan eCooper, et al.
Cyhoeddwyd: (2015-01-01)

Registry of BioBricks Models using CellML
gan: Vincent Rouilly, Barry Canton, et al.
Cyhoeddwyd: (2007)

Using CellML with OpenCMISS to simulate multi-scale physiology
gan: David Phillip Nickerson, et al.
Cyhoeddwyd: (2015-01-01)

Cellular Open Resource (COR): A public CellML based environment for modeling biological function
gan: Garny, A, et al.
Cyhoeddwyd: (2003)

TumorML: Concept and Requirements of an In Silico Cancer Modelling Markup Language
gan: Johnson, D, et al.
Cyhoeddwyd: (2011)

Programming in haskell /
gan: 266356 Hutton, Graham
Cyhoeddwyd: (2007)

cellmlmanip and chaste_codegen: automatic CellML to C++ code generation with fixes for singularities and automatically generated Jacobians [version 2; peer review: 3 approved]
gan: Gary R Mirams, et al.
Cyhoeddwyd: (2022-06-01)

Categories for the Working Haskeller
gan: Gibbons, J
Cyhoeddwyd: (2014)

Generic Haskell: Applications
gan: Hinze, R, et al.
Cyhoeddwyd: (2003)

Generic Haskell: Applications
gan: Hinze, R, et al.
Cyhoeddwyd: (2003)

Giving Haskell a Promotion
gan: Yorgey, B, et al.
Cyhoeddwyd: (2012)

Libraries for Generic Programming in Haskell
gan: Jeuring, J, et al.
Cyhoeddwyd: (2008)

Libraries for Generic Programming in Haskell
gan: Jeuring, J, et al.
Cyhoeddwyd: (2009)

Quantitative information flow with Monads in Haskell
gan: Gibbons, J, et al.
Cyhoeddwyd: (2020)

The Generic Haskell user's guide
gan: Clarke, D, et al.
Cyhoeddwyd: (2001)

Generic Haskell: Practice and Theory
gan: Hinze, R, et al.
Cyhoeddwyd: (2003)

Generic Haskell: Practice and Theory
gan: Hinze, R, et al.
Cyhoeddwyd: (2003)

A generic deriving mechanism for Haskell
gan: aes, J, et al.
Cyhoeddwyd: (2010)

A generic deriving mechanism for Haskell
gan: aes, J, et al.
Cyhoeddwyd: (2010)

Intel Concurrent Collections for Haskell
gan: Newton, Ryan, et al.
Cyhoeddwyd: (2011)

GADTless Programming in Haskell 98
gan: Sulzmann, M, et al.
Cyhoeddwyd: (2006)

Fusion on Haskell Unicode Strings
gan: Harper, T
Cyhoeddwyd: (2008)

Investigating Haskell for parallel processing
gan: Pahlevi Fikri Auliya
Cyhoeddwyd: (2011)

Learn Physics by Programming in Haskell
gan: Scott N. Walck
Cyhoeddwyd: (2014-12-01)

Session Type Inference in Haskell
gan: Keigo Imai, et al.
Cyhoeddwyd: (2011-10-01)

Comparing Approaches to Generic Programming in Haskell
gan: Hinze, R, et al.
Cyhoeddwyd: (2007)

A Generic Programming Extension for Haskell
gan: Hinze, R
Cyhoeddwyd: (1999)

Introduction to Functional Programming Using Haskell
gan: Bird, R
Cyhoeddwyd: (1998)

Comparing Libraries for Generic Programming in Haskell
gan: Kiselyov, B
Cyhoeddwyd: (2008)

Comparing Datatype Generic Libraries in Haskell
gan: Kiselyov, B
Cyhoeddwyd: (2009)