On Thu, Feb 26, 2009 at 9:59 PM, Pal-Kristian Engstad <[email protected]> wrote: > Jonathan S. Shapiro wrote: > >> If our notions of formal semantics in allegedly general-purpose >> programming languages aren't rich enough to address this type of >> real-world meaning, then it is our notions of formal semantics that >> must yield (or improve). > > Hear, hear...
No no. Here, here! Like: here, in BitC, at last! shap _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
