projects / web.git / history
| 2016-12-19 | Ralf Jung | update papers | blob | commitdiff | raw |
| 2016-10-11 | Ralf Jung | we dont actually have an appendix for the refinement... | blob | commitdiff | raw | diff to current |
| 2016-10-11 | Ralf Jung | papers update: add ICFP talk; add refinement paper | blob | commitdiff | raw | diff to current |
| 2016-07-01 | Ralf Jung | it's ICFP 2016 | blob | commitdiff | raw | diff to current |
| 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 |