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

2 days 11 hours ago

3 days 11 hours ago

3 days 13 hours ago

3 days 13 hours ago

4 days 19 hours ago

4 days 19 hours ago

5 days 14 hours ago

5 days 15 hours ago

5 days 16 hours ago

6 days 7 hours ago