User contributions for Matthias.f

27 July 2007

• 18:5418:54, 27 July 2007 diff hist +1,781‎ Continuation ‎No edit summary
• 18:3118:31, 27 July 2007 diff hist +1,100‎ Call-with-current-continuation ‎No edit summary
• 17:5717:57, 27 July 2007 diff hist +36‎ m Continuation ‎ →‎See also
• 15:0615:06, 27 July 2007 diff hist +248‎ Talk:Call-with-current-continuation ‎No edit summary
• 15:0415:04, 27 July 2007 diff hist +360‎ Call-with-current-continuation ‎No edit summary

16 July 2007

• 00:5900:59, 16 July 2007 diff hist +255‎ Talk:Daniel P. Friedman ‎No edit summary
• 00:5700:57, 16 July 2007 diff hist +8‎ m Daniel P. Friedman ‎No edit summary
• 00:5600:56, 16 July 2007 diff hist −15‎ Daniel P. Friedman ‎No edit summary

15 July 2007

• 03:0103:01, 15 July 2007 diff hist +27‎ m Robert Bruce Findler ‎No edit summary

14 July 2007

• 14:5714:57, 14 July 2007 diff hist +69‎ Talk:Robert Bruce Findler ‎No edit summary
• 14:5614:56, 14 July 2007 diff hist +448‎ Talk:Robert Bruce Findler ‎No edit summary
• 14:5414:54, 14 July 2007 diff hist +403‎ Robert Bruce Findler ‎No edit summary
• 14:5014:50, 14 July 2007 diff hist +286‎ Matthew Flatt ‎No edit summary

13 July 2007

• 15:0415:04, 13 July 2007 diff hist +839‎ N Shriram Krishnamurthi ‎ ←Created page with 'Shriram Krishnamurthi is a computer scientist, currently teaching at Brown University (Providence, Rhode Island). He is also a member of PLT and, as...'
• 14:5914:59, 13 July 2007 diff hist +858‎ N Matthew Flatt ‎ ←Created page with 'Matthew Flatt is a computer scientist, currently teaching at the University of Utah (Salt Lake City). He is also a member of PLT and, as such, respon...'
• 14:5414:54, 13 July 2007 diff hist +1,064‎ N Robert Bruce Findler ‎ ←Created page with 'Robert Bruce Findler, colloquially known as "Robby", is a computer scientist, currently teaching at the University of Chicago. He is also a member of [[PLT Scheme|P...'
• 14:4514:45, 13 July 2007 diff hist +72‎ m Racket (programming language) ‎ →‎History
• 14:2614:26, 13 July 2007 diff hist +681‎ ProgramByDesign ‎ →‎From TeachScheme! to ReachJava
• 14:2214:22, 13 July 2007 diff hist +22‎ m ProgramByDesign ‎No edit summary
• 14:1914:19, 13 July 2007 diff hist −1‎ m ProgramByDesign ‎ →‎Functional Programming, Computing and Algebra
• 14:1814:18, 13 July 2007 diff hist −14‎ m ProgramByDesign ‎ →‎History
• 12:3012:30, 13 July 2007 diff hist 0‎ m ProgramByDesign ‎ →‎TeachScheme! and Scheme
• 12:2412:24, 13 July 2007 diff hist +35‎ ProgramByDesign ‎ →‎TeachScheme! and Scheme
• 03:0003:00, 13 July 2007 diff hist −1‎ ProgramByDesign ‎ →‎From TeachScheme! to ReachJava

12 July 2007

• 22:5722:57, 12 July 2007 diff hist +9‎ ProgramByDesign ‎No edit summary
• 22:5622:56, 12 July 2007 diff hist +6,104‎ ProgramByDesign ‎No edit summary

6 July 2007

• 14:4014:40, 6 July 2007 diff hist 0‎ Talk:Racket (programming language) ‎No edit summary
• 14:4014:40, 6 July 2007 diff hist +538‎ Talk:Racket (programming language) ‎No edit summary

5 July 2007

• 17:1617:16, 5 July 2007 diff hist +342‎ Talk:Racket (programming language) ‎ PLT

4 July 2007

• 22:4822:48, 4 July 2007 diff hist −1‎ Racket (programming language) ‎No edit summary
• 22:4522:45, 4 July 2007 diff hist −20‎ m Racket (programming language) ‎No edit summary
• 22:4322:43, 4 July 2007 diff hist +67‎ m Racket (programming language) ‎No edit summary
• 22:3522:35, 4 July 2007 diff hist +264‎ WxWidgets ‎No edit summary
• 22:2922:29, 4 July 2007 diff hist +13‎ m Racket (programming language) ‎No edit summary
• 01:5901:59, 4 July 2007 diff hist −3‎ m Racket (programming language) ‎ →‎Research
• 01:5401:54, 4 July 2007 diff hist +3,724‎ Racket (programming language) ‎No edit summary

12 April 2006

• 14:0214:02, 12 April 2006 diff hist −19‎ ACL2 ‎ A language isn't >untyped< because it is total. See the simply typed lambda calculus. In this case, it is better to say

7 December 2005

• 19:1619:16, 7 December 2005 diff hist +8‎ Racket (programming language) ‎No edit summary
• 19:1319:13, 7 December 2005 diff hist −25‎ How to Design Programs ‎No edit summary

10 July 2005

• 19:4519:45, 10 July 2005 diff hist −18‎ List of educational programming languages ‎No edit summary
• 19:4119:41, 10 July 2005 diff hist 0‎ How to Design Programs ‎No edit summary
• 19:3919:39, 10 July 2005 diff hist +10‎ File:How to Design Programs (front cover).jpg ‎No edit summary
• 19:3519:35, 10 July 2005 diff hist +16‎ N File:How to Design Programs (front cover).jpg ‎ HTDP Front Cover
• 19:2919:29, 10 July 2005 diff hist +50‎ How to Design Programs ‎No edit summary
• 19:2219:22, 10 July 2005 diff hist +309‎ List of educational programming languages ‎ →‎added explanation to Pascal, pre-history, removed evaluatory prose from Scheme; it's probably true but people can find out on their own; right idea, wrong place? and Scheme details
• 16:0716:07, 10 July 2005 diff hist +376‎ Church–Rosser theorem ‎ →‎added some meat to the definition and stated CR properly. See Barendregt
• 02:5602:56, 10 July 2005 diff hist +164‎ m Functional programming ‎ →‎References added HTDP
• 02:4802:48, 10 July 2005 diff hist +486‎ Design by contract ‎ →‎Languages implementing DBC, added PLT Scheme
• 02:2902:29, 10 July 2005 diff hist −8‎ Scheme (programming language) ‎ →‎External links : turned HTDP internal
• 02:0102:01, 10 July 2005 diff hist +1,542‎ N How to Design Programs ‎No edit summary