On Mar 5, 2011, at 6:54 PM, Hendrik Boom wrote: > One of the difficult aspect of life-long data accumulation is dealing > with data alrady accumulated before the new system came into existence.
Starting about 10 years ago, I started formulating potential dissertation topics like this: here is a problem with reality let's call a potential solution 'paradise' I want a dissertation that (1) describes paradise and (2) describes a way to get from reality to paradise Sam's Typed Racket and Carl's Modular Hygienic ACL2 are two examples of just this kind of work. I think it helps a lot to take this perspective when it comes to a description of 'paradise'. In other words, the solution space changes with this constraint -- Matthias _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
