Information and Computation - Semantics of Data Types
How to make ad-hoc polymorphism less ad hoc
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An introduction to Kolmogorov complexity and its applications
An introduction to Kolmogorov complexity and its applications
Powerlist: a structure for parallel recursion
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Theory of Program Size Formally Identical to Information Theory
Journal of the ACM (JACM)
Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell
Proceedings of the 2009 ACM symposium on Applied Computing
A Groupoid of Isomorphic Data Transformations
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
An embedded declarative data transformation language
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Pure, declarative, and constructive arithmetic relations (declarative pearl)
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Ranking, unranking and random generation of extensional acyclic digraphs
Information Processing Letters
Hi-index | 0.01 |
Starting from an executable "shared axiomatization" of a number of bi-interpretable theories (Peano arithmetic, hereditarily finite sets and functions) we introduce generic algorithms that can be instantiated to implement the usual arithmetic operations in terms of (purely symbolic) hereditarily finite constructs, as well as the type language of Gödel's System T. The Haskell code in the paper is available at http://logic.cse.unt.edu/tarau/research/2010/short_shared.hs.