| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Joachim Breitner
| Website: http://pp.ipd.kit.edu/~breitner |
Entries
| 2017 |
| July 15: HOLCF-Prelude |
| 2016 |
| July 17: Surprise Paradox |
| May 20: The meta theory of the Incredible Proof Machine |
| 2015 |
| February 20: The Safety of Call Arity |
| 2013 |
| January 31: The Correctness of Launchbury's Natural Semantics for Lazy Evaluation |
| 2011 |
| April 1: The General Triangle Is Unique |
| 2010 |
| November 16: Shivers' Control Flow Analysis |
| June 24: Free Groups |