Ondrej Rypacek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2006–2012
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CSL | A Syntactical Approach to Weak omega-Groupoids. | Thorsten Altenkirch, Ondrej Rypacek |
| 2012 | ICTAC | Correctness of Object Oriented Models by Extended Type Inference. | Simon Foster, Ondrej Rypacek, Georg Struth |
| 2008 | MPC | The Expression Lemma. | Ralf Lmmel, Ondrej Rypacek |
| 2006 | ICFP | Type-theoretic design patterns. | Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson |