-
draft-normative-spec
-
Located in
Members
/
miller's Home
-
draft-normative-spec-allow-secondary
-
Located in
Members
/
miller's Home
-
draft-normative-spec-simplify-connections
-
Located in
Members
/
miller's Home
-
mapping-1.1-to-draft-1.2
-
A mapping between CellML 1.1 and the CellML 1.2 draft
Located in
Members
/
miller's Home
-
Mapping
-
A mapping between CellML 1.1 and a draft of CellML 1.2
Located in
Members
/
miller's Home
/
mapping-1.1-to-draft-1.2
-
draft-normative-spec-encapsulation-only
-
Located in
Members
/
miller's Home
-
Thoughts on the typing system
-
Adding a good typing system could substantially increase the usefulness of CellML 1.2 over CellML 1.1, but there are lots of design decisions to be made. This document is a way to collect some thoughts on how this should be done.
Located in
Members
/
miller's Home
-
Outline of a typed lambda calculus system
-
A brief overview of how a typed lambda calculus system could work in CellML
Located in
Members
/
miller's Home
-
andre's_models
-
The models that David Nickerson (Andre) previously put up at http://www.bioeng.auckland.ac.nz/people/nickerso/research/models/ . They are up here as an archive for use for tests like those used by the CellML API.
Located in
Members
/
miller's Home
-
common
-
Located in
Members
/
miller's Home
/
andre's_models
