Author of the publication

Memoizing a Monadic Mixin DSL.

, , , , and . WFLP, volume 6816 of Lecture Notes in Computer Science, page 68-85. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Deep Learning for Algorithm Portfolios., , , and . AAAI, page 1280-1286. AAAI Press, (2016)An Introduction to Search Combinators., , , , and . LOPSTR, volume 7844 of Lecture Notes in Computer Science, page 2-16. Springer, (2012)Solving Quantified Boolean Formulas.. University of Toronto, Canada, (2008)Image inpainting through neural networks hallucinations., , , and . IVMSP, page 1-5. IEEE, (2016)Learning Back-Clauses in SAT - (Poster Presentation)., , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 498-499. Springer, (2012)Parallel SAT Solver Selection and Scheduling., , , and . CP, volume 7514 of Lecture Notes in Computer Science, page 512-526. Springer, (2012)Enhancing In-context Learning via Linear Probe Calibration., , , , , , and . AISTATS, volume 238 of Proceedings of Machine Learning Research, page 307-315. PMLR, (2024)Semantic Feature Discovery with Code Mining and Semantic Type Detection., , , , , , , and . AAAI, page 13224-13226. AAAI Press, (2022)Towards Cognitive Automation of Data Science., , , , , , , , , and 3 other author(s). AAAI, page 4268-4269. AAAI Press, (2015)Boosting Sequential Solver Portfolios: Knowledge Sharing and Accuracy Prediction., , , and . LION, volume 7997 of Lecture Notes in Computer Science, page 153-167. Springer, (2013)