eBook
A New Functional-Logic Compiler for Curry: Sprite
| Title: | A New Functional-Logic Compiler for Curry: Sprite |
|---|---|
| Authors: | Antoy, SergioAff15, Jost, AndyAff15 |
| Contributors: | Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Hermenegildo, Manuel V, editorAff13, Lopez-Garcia, Pedro, editorAff14 |
| Source: | Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers. 10184:97-113 |
| Database: | Springer Nature eBooks |
| ISBN: | 9783319631387 9783319631394 |
|---|---|
| DOI: | 10.1007/978-3-319-63139-4_6 |