Ondrej Rypacek

According to our database, Ondrej Rypacek authored at least 7 papers between 2006 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Some constructions on ω-groupoids.

Thorsten Altenkirch, Nuo Li, Ondrej Rypacek

Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014

2012

An Investigation of the Laws of Traversals

Mauro Jaskelioff, Ondrej Rypacek

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

Correctness of Object Oriented Models by Extended Type Inference.

Simon Foster, Ondrej Rypacek, Georg Struth

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

A Syntactical Approach to Weak omega-Groupoids.

Thorsten Altenkirch, Ondrej Rypacek

Proceedings of the Computer Science Logic (CSL'12), 2012

2010

Distributive laws in programming structures.

Ondrej Rypacek

PhD thesis, 2010

2008

The Expression Lemma.

Ralf Lämmel, Ondrej Rypacek

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

2006

Type-theoretic design patterns.

Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2006