Showing results 1 to 3 of 3
| Title | Author(s) | Issue Date | Views | |
|---|---|---|---|---|
Meta-theory à la Carte Proceeding/Conference:ACM SIGPLAN Notices | 2013 | 40 | ||
Meta-theory à la carte Proceeding/Conference:Conference Record of the Annual ACM Symposium on Principles of Programming Languages | 2013 | 21 | ||
Modular Monadic Meta-Theory Proceeding/Conference:Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (ICFP 2013) | 2013 | 62 |