Compositional Data Types - A Report from the Field
Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, 2011.
Categories: Recursion Schemes, Type Systems
Talks by Type
Invited Talks |
Conferences / Workshops |
Seminar Talks |
Miscellaneous |
Talks by Year
2018 |
2017 |
2016 |
2015 |
2014 |
2013 |
2012 |
2011 |
2010 |
2007 |
Talks by Topic
Compilers |
Domain-specific Languages |
Formal Verification |
Recursion Schemes |
Rewriting |
Type Systems |
Type Theory |
Miscellaneous |
Recent Publications
More...Recent Talks
More...Last updated: 2018-09-07. Generated by hakyll. New Golden Gray theme by William Pramana and Samuel T Trassare.