Posts By: pigworker
| Date | Post | Topic |
| 11/15/2011 | Choosing Definitions is a Critical Skill | LTL types FRP |
| 11/17/2011 | Slicing up Time | LTL types FRP |
| 11/17/2011 | Slightly different agenda, I suspect. | LTL types FRP |
| 11/18/2011 | Trickles, Streams, Locality | LTL types FRP |
| 11/01/2011 | When is a proof-term a term which is a proof? | The Experimental Effectiveness of Mathematical Proof |
| 10/07/2011 | Functions as Tries? | Data, Codata, and Their Implications for Equality, and Serialization |
| 10/12/2011 | Isotopes and streamwatching | Data, Codata, and Their Implications for Equality, and Serialization |
| 10/12/2011 | my mistake, then | Data, Codata, and Their Implications for Equality, and Serialization |
| 10/12/2011 | dirty money where my pottymouth is | Data, Codata, and Their Implications for Equality, and Serialization |
| 10/14/2011 | bravo! | Data, Codata, and Their Implications for Equality, and Serialization |
| 10/08/2011 | What if β is codata? | Data, Codata, and Their Implications for Equality, and Serialization |
| 05/19/2011 | Hoare Logic and Monads | Kleisli Arrows of Outrageous Fortune |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |