Andrew Miller wrote:
Hi all,
I have been looking into how we could define a typed lambda calculus
system in CellML, and have written up a document to collect ideas on this:
http://www.cellml.org/Members/miller/outline-of-a-typed-lambda-calculus-system
This document does not yet aim to be a
In our case, we would also need to know the units associated with
those
variables. So, again using a C/C++ syntax, we could have something
like:
~~~
int_metre A;
double_millivolt V;
bool_dimensionless T;
~~~
Variables as types:
---
- Do we really want to allow generic types? I am concerned that this
could
lead to models that are not bullet-proof.
The core of CellML can be very generic, and then secondary
specifications can narrow down CellML to a subset of CellML which can
Alan Garny wrote:
Hi Andrew,
I have been looking into how we could define a typed lambda calculus
system in CellML, and have written up a document to collect ideas on this:
http://www.cellml.org/Members/miller/outline-of-a-typed-lambda-calculus-
system
This is a good starting
Andrew:
This seems like a very good idea. How much work has actually been done in this
area?
Best regards,
Randy Owen
Software Engineering Group
Oxford
In message [EMAIL PROTECTED] CellML Discussion List
cellml-discussion@cellml.org writes:
Hi all,
I have been looking into how we could
Randall Owen wrote:
Andrew:
This seems like a very good idea. How much work has actually been done in
this area?
Hi Randy,
I presume you are only asking about work in relation to CellML? The
document I linked is pretty much it in terms of actual written up
documents... once we allow
Hi all,
I have been looking into how we could define a typed lambda calculus
system in CellML, and have written up a document to collect ideas on this:
http://www.cellml.org/Members/miller/outline-of-a-typed-lambda-calculus-system
This document does not yet aim to be a formal specification, but