Browsing by Author Delaware, B

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 3 of 3
TitleAuthor(s)Issue DateViews
Meta-theory à la carte
Proceeding/Conference:Conference Record of the Annual ACM Symposium on Principles of Programming Languages
2013
31
Meta-theory à la Carte
Proceeding/Conference:ACM SIGPLAN Notices
2013
36
 
Modular Monadic Meta-Theory
Proceeding/Conference:Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (ICFP 2013)
2013
61