Posts By: JosephKiniry
| Date | Post | Topic |
| 01/08/2008 | Lightweight Formal Methods in CS curriculum | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/11/2008 | Re: SNFM paper comments | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 11/16/2007 | nontraditionals, degrees, and research | PL research & grad schools? |
| 10/23/2006 | Jacobs as model | Arrows, like Monads, are Monoids |
| 10/23/2006 | working on it... | ESC not just for Java any more |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |