Lambda the Ultimate Weblog Topics
Last Updated 11/19/2006

Posts By: raboof

  Date    Post    Topic  
08/22/2006Cool!ESC not just for Java any more
07/02/2005So if we take an infinite number of orang-utangs...Ook?
07/02/2005format input into canonical formHungarian Notation vs The Right Thing
05/14/2005proof-carrying code patentedLanguage-based security for mobile code, with applications to smart cards
05/07/2005K. Rustan M. LeinoSpec#
04/22/2005Reliability of the proof toolComputer generates verifiable mathematics proof

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive

Chris Rathman/