2016-07-01 | Ralf Jung | it's ICFP 2016 | blob | commitdiff | raw |
2016-06-14 | Ralf Jung | ICFP paper has been accepted :D | blob | commitdiff | raw | diff to current |
2016-03-17 | Ralf Jung | add HOGS | blob | commitdiff | raw | diff to current |
2015-10-09 | Ralf Jung | make a research page happen | blob | commitdiff | raw | diff to current |