Conor McBride
From MaRDI portal
Person:2392479
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A type- and scope-safe universe of syntaxes with binding: their semantics and proofs Journal of Functional Programming | 2021-12-27 | Paper |
| scientific article; zbMATH DE number 7447767 (Why is no real title available?) | 2021-12-17 | Paper |
| Variations on inductive-recursive definitions | 2020-05-26 | Paper |
| Doo bee doo bee doo Journal of Functional Programming | 2020-05-26 | Paper |
| Indexed containers Journal of Functional Programming | 2017-10-23 | Paper |
| Do be do be do Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| A Categorical Treatment of Ornaments 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
| How to keep your neighbours in order Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| I got plenty o' nuttin' A List of Successes That Can Change the World | 2016-08-17 | Paper |
| Turing-Completeness Totally Free Lecture Notes in Computer Science | 2015-08-27 | Paper |
| Productive coprogramming with guarded recursion Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| The gentle art of levitation Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Clowns to the left of me, jokers to the right (pearl) Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Transporting functions across ornaments Journal of Functional Programming | 2014-08-14 | Paper |
| Transporting functions across ornaments Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Strongly typed term representations in Coq Journal of Automated Reasoning | 2013-08-01 | Paper |
| Small induction recursion Lecture Notes in Computer Science | 2013-06-28 | Paper |
| Let's see how things unfold: reconciling the infinite with the intensional (extended abstract) Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
| A tutorial implementation of a dependently typed lambda calculus Fundamenta Informaticae | 2011-05-20 | Paper |
| Proving Properties about Lists Using Containers Functional and Logic Programming | 2008-04-11 | Paper |
| Applicative programming with effects Journal of Functional Programming | 2008-01-18 | Paper |
| Eliminating Dependent Pattern Matching Algebra, Meaning, and Computation | 2007-09-07 | Paper |
| Types for Proofs and Programs Lecture Notes in Computer Science | 2006-11-13 | Paper |
| Types for Proofs and Programs Lecture Notes in Computer Science | 2006-11-13 | Paper |
| Advanced Functional Programming Lecture Notes in Computer Science | 2006-10-25 | Paper |
| Types for Proofs and Programs Lecture Notes in Computer Science | 2005-12-23 | Paper |
| First-order unification by structural recursion Journal of Functional Programming | 2005-02-08 | Paper |
| The view from the left Journal of Functional Programming | 2004-09-27 | Paper |
| scientific article; zbMATH DE number 2100542 (Why is no real title available?) | 2004-09-14 | Paper |
| scientific article; zbMATH DE number 2085175 (Why is no real title available?) | 2004-08-09 | Paper |
| Faking it Simulating dependent types in Haskell Journal of Functional Programming | 2002-01-01 | Paper |
Research outcomes over time
This page was built for person: Conor McBride
