Posts By: 13ren
| Date | Post | Topic |
| 09/18/2008 | Aren't immutability and redefinition fundamentally inconsistent? | Publishing negative results: single-assignment Lisp |
| 09/25/2008 | can anyone explain Homework 0 (HW0)? | Course on Interactive Computer Theorem Proving Based on Coq |
| 09/25/2008 | ls1 = cons x ls1' | Course on Interactive Computer Theorem Proving Based on Coq |
| 09/27/2008 | Another online course using COQ | Course on Interactive Computer Theorem Proving Based on Coq |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |