type | title | author | last post |

Story | Using Hackage to Inform Language Design | bashyal | 2010-10-26 15:40 |

Forum topic | Course in mathematical logic with applications to computer science | L Spice | 2009-10-19 07:01 |

Story | GÃ¶del, Nagel, minds and machines | Ehud Lamm | 2007-11-22 08:09 |

Forum topic | Why is there not a PL with a mathematical type system? | gueven | 2007-04-25 14:14 |

Forum topic | Overloading : Why do some languages leave it out? | cdiggins | 2006-08-08 21:28 |

Forum topic | Why only 'minimal' languages | Karsten Wagner | 2006-06-19 15:33 |

## Recent comments

8 hours 50 min ago

11 hours 29 min ago

1 day 7 hours ago

1 day 13 hours ago

1 day 17 hours ago

1 day 18 hours ago

1 day 20 hours ago

2 days 11 hours ago

2 days 15 hours ago

5 days 22 hours ago