Ramana Kumar wrote: > Mark wrote: >> Yes, big integers is the other possibility. ... > > Sounds good. > For your information, I am currently working on a verified compiler for > (currently a pure subset of) SML. > But it is also probably several months away from completion :)
Yes, I heard about this. Sounds great stuff! Would be nice if it could have some sort of simple mechanism for disallowing overwriting of certain ML and pretty printer bindings (e.g. a compiler directive that could be applied for a given binding, which would set a one-way flag on the binding). This would stop 'thm' and its pretty printer being overwritten by the user, for example, and would be an easy way of eliminating this long-standing vulnerability of LCF-style systems that run in a simple classic top level ML session. Mark. ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
