Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

IVE READ SICP

Name: Anonymous 2007-05-02 8:07 ID:A1TytIIg

http://i13.tinypic.com/63ijdck.jpg
NOW THAT I HAVE READ SICP I AM AN EXPERT PROGRAMMER

Name: Anonymous 2007-05-04 14:43 ID:3sRJYHaM

>>25
You can prove specific code terminates, we just have to extend the proof to anything acceptable by the type system, then any type safe program terminates!
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode -