[M3devel] Baby Modula-3 type theory books

[Daniel Alejandro Benavides D.]

Hi all:
That's cool for now meanwhile the gross of it can be substantially diminished (I can optimize in such a way, but in terms of reasoning I don't know, for instance languages like Juno-2 are worth the value to expand, so there is some place they might put as core like ontological reasoning, or something like that and they need to be expanded to be comprehensive or enough wise).
Thanks in advance

PS if Elego folks don't care I can put a theory web page of it.

Thanks in advance

--- El jue, 4/8/11, felipe valdez <felipevaldez at gmail.com> escribió:

De: felipe valdez <felipevaldez at gmail.com>
Asunto: Re: [M3devel] Baby Modula-3 type theory books
Para: "Daniel Alejandro Benavides D." <dabenavidesd at yahoo.es>
Fecha: jueves, 4 de agosto, 2011 16:00


"I would argue that synthethyzing all of this knowledge since it's natural language and matehematical abstraction hard stuff would be worth the value."



why not make a zip file with all the pdfs then?



wouldn't that syntetize it?





On Thu, Aug 4, 2011 at 3:53 PM, Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es> wrote:


Hi all:

I guess there should be some number of literature quite useful as academic bibliography.

If somebody agree for instance to base some of this on theoretical background, but there is a point on it.

Likewise any modern computer compiler is appearing without too much knowledge of its own, some of this may be shared knowledge for instance in the advantage of implementing an improved systematic language, or specific purpose like small-lisp package (I'm obviating thesis languages which are still sometimes common in the sense of academic terms, which reminds me have any one tried m3loader for instance for such an environment in DEC-SRC M3?), anything else is just spurious for this analysis.



I would argue that synthethyzing all of this knowledge since it's natural language and matehematical abstraction hard stuff would be worth the value.



Basically the most material I have found is on:

Abadi-Cardelli logic

Abadi-Cardelli Applications (GIS, etc)

Abadi-Cardelli Further developments



Abadi-Plotkin logic

Abadi-Plotkin formulae reasoning

Abadi-Plotkin + other's descriptions



Abadi-Leino ESC system Ecstatic

Abadi-Leino ESC technological improvements



And finally I would make an improvement on logically synthesize both mathematically and structurally to its bare roots and develop a prototype of it, perhaps M3Fsub or baby Modula-3 or anything any one would want or dare to observe in that way.





Similarly a improved theoretical background is needed as I can see for the whole project, for instance claim we achieved of certain subsets of the language properties of no-RT errors, correctness, etc, I would this claim be called Super theory of Baby Modula-3 and arrive to the Modula-3 or so language(s) in some handbook of the material (I would kindly ask if so the publication of somebody like Modula3.org/books donation for Modula3 Projects or the part I can get to work without more knowledge).





I hope this can satisfy the need of more tools to start something with that in Modula-3.



Thanks in advance



PS: A genealogy web page could work for that as well, so don't need to copy/paste unneeded stuff





--- El mié, 3/8/11, Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es> escribió:



> De: Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es>

> Asunto: [M3devel] Baby Modula-3 type theory books

> Para: m3devel at elegosoft.com

> Fecha: miércoles, 3 de agosto, 2011 19:43

> Hi all:

> just FYI to let you know, and ask if anybody has a copy of

> it [1] how hard  do you thinks it is? See:

> http://books.google.com/books?id=TF5VAAAAMAAJ&q=%22lambda+calculus+and+type+theory,%22&dq=%22lambda+calculus+and+type+theory,%22&hl=en&ei=UMk5Tt69DOLc0QHq3YX8Aw&sa=X&oi=book_result&ct=result&resnum=1&ved=0CCgQ6AEwADgU



>

> The actual book preview at:

> http://books.google.com/books?id=Ax2QXEwXhzQC

>

> Maybe that there are partners on this:

> http://www.coe.montana.edu/ee/cady/asmsurv.htm

>

>

> Thanks in advance

>

> [1] D. A. Schmidt, The structure of typed programming

> languages. MIT Press, 1994.

>




-- 
312-444-2124Skype: f3l.headhunterCasa: 8043901




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20110804/1e067ddd/attachment-0002.html>