<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">Hi all:<br>for sure yes, it's a first-order prototype-oriented functional programming language for writing programming language's type systems (in Spanish-native tongue countries like Abadi's, most common games or toy tool are Baby dolls, if you care. hence its name if I may say so).<br>Basically the  language itself is not dissimilar from Modula-3 in its object-oriented part. It has a type system in lambda calculus, written for its meta-languages as well (e.g. Modula-3). Its denotational semantics are expressed in a natural deduction system logic.<br>Basically was constructed to explain object oriented languages, though it wasn't written specially for that, but for type system calculus construction (you could say a kind of IBM's Axiom for computers science type theoretician  if I may say so).<br>No other system besides DEC ones had ever play with it
 (its functional language although simple is not easily executable so Cardelli and others decide to use a different calculus for their joint Book "A Theory of Objects"). But at the  very core issue of unification it lead the work on type systems for its times.<br>Thanks in advance<br><br><br>--- El <b>dom, 3/6/12, Hendrik Boom <i><hendrik@topoi.pooq.com></i></b> escribió:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>De: Hendrik Boom <hendrik@topoi.pooq.com><br>Asunto: Re: [M3devel] Renewed interest in Modula-3 in HP Labs<br>Para: m3devel@elegosoft.com<br>Fecha: domingo, 3 de junio, 2012 16:18<br><br><div class="plainMail">On Sun, Jun 03, 2012 at 05:51:51PM +0100, Daniel Alejandro Benavides D. wrote:<br>> semantics, which is the natural deduction system of Baby Modula-3 <br><br>You keep mentioning Baby Modula 3, but I have no idea what it is.  Can <br>you expalin and
 provide lins?<br><br>-- hendrik<br><br></div></blockquote></td></tr></table>