Ondrej Rypacek

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Topics

Stereo Matching

Database Schema

Error Correction

Conceptual Models

Top Venues

University of Nottingham, UK (PHD)

Education History

University of Nottingham, UK

PHD

Publications

Thorsten Altenkirch, Nuo Li, Ondrej Rypacek
Some constructions on ω-groupoids. LFMTP (2014)
Mauro Jaskelioff, Ondrej Rypacek
An Investigation of the Laws of Traversals MSFP (2012)
Thorsten Altenkirch, Ondrej Rypacek
A Syntactical Approach to Weak omega-Groupoids. CSL (2012)
Simon Foster, Ondrej Rypacek, Georg Struth
Correctness of Object Oriented Models by Extended Type Inference. ICTAC (2012)
Ralf Lämmel, Ondrej Rypacek
The Expression Lemma. MPC (2008)
Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson
Type-theoretic design patterns. ICFP-WGP (2006)