Skip to main content
Conference Proceedings

Recent improvements of MagicHaskeller

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2010) 5812 LNCS 174-193
DOI: 10.1007/978-3-642-11931-6_9
16Citations
Citations of this article
4Readers
Mendeley users who have this article in their library.
Get full text

Abstract

MagicHaskeller is our inductive functional programming library based on systematic search. In this paper we introduce two recent improvements to MagicHaskeller, i.e. 1) clarification and extension to arbitrary-rank polymorphism of its algorithm, and 2) efficiency improvement in its filtration algorithm that removes redundancy in the search results. © 2010 Springer-Verlag.

Cite

CITATION STYLE

APA

Katayama, S. (2010). Recent improvements of MagicHaskeller. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5812 LNCS, pp. 174–193). Springer Verlag. https://doi.org/10.1007/978-3-642-11931-6_9

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free