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 allo

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 writes: > Hi all, > > I have been looking into how we could define a typed lambda calc

[cellml-discussion] CellML integration with openCMISS (Fortran 95 large scale PDE, CFD solver)

2008-07-31 Thread Randall Britten
Hi Although this was discussed some months ago (http://www.cellml.org/meeting_minutes/meeting-minutes-2008-01-30/), plans for progress on this are underway (see https://tracker.physiomeproject.org/show_bug.cgi?id=1226 and https://tracker.physiomeproject.org/show_bug.cgi?id=1238, which are part