Re: [cellml-discussion] A typed lambda calculus system for CellML

2008-08-26 Thread Jonathan Cooper
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

Re: [cellml-discussion] A typed lambda calculus system for CellML

2008-08-26 Thread Jonathan Cooper
On 26/08/08 12:28, Jonathan Cooper wrote: 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:

Re: [cellml-discussion] A typed lambda calculus system for CellML

2008-08-07 Thread Alan Garny
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; ~~~

Re: [cellml-discussion] A typed lambda calculus system for CellML

2008-08-06 Thread Alan Garny
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

Re: [cellml-discussion] A typed lambda calculus system for CellML

2008-08-06 Thread Randall Britten
MathML operators for dealing with types: - Creating types which represent the product space of two (or more) other types. For example, given the types real_metre and real_second, creates the type for both a real_metre and real_second.

Re: [cellml-discussion] A typed lambda calculus system for CellML

2008-08-05 Thread Alan Garny
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 point, well done! Of particular

Re: [cellml-discussion] A typed lambda calculus system for CellML

2008-08-05 Thread Andrew Miller
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

Re: [cellml-discussion] A typed lambda calculus system for CellML

2008-07-31 Thread Randall Owen
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

Re: [cellml-discussion] A typed lambda calculus system for CellML

2008-07-31 Thread Andrew Miller
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

[cellml-discussion] A typed lambda calculus system for CellML

2008-07-23 Thread Andrew Miller
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