Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
research:papers [2017-02-24 14:10] mh [Applications] |
research:papers [2017-02-24 14:12] mh [Implementations] |
||
|---|---|---|---|
| Line 104: | Line 104: | ||
| ===== Implementations ===== | ===== Implementations ===== | ||
| - | [[http://www-ps.informatik.uni-kiel.de/~mh/papers/PADL13.html | | + | [[http://dx.doi.org/10.1007/978-3-642-45284-0_9 | Implementing Equational Constraints in a Functional Language]] |
| - | Implementing Equational Constraints in a Functional Language]] | + | |
| (//PADL 2013//)\\ | (//PADL 2013//)\\ | ||
| This paper describes the implementation of equational constraints | This paper describes the implementation of equational constraints | ||
| and functional patterns in KiCS2. | and functional patterns in KiCS2. | ||
| - | [[http://www-ps.informatik.uni-kiel.de/~mh/papers/ATPS12.html | | + | [[http://www.informatik.uni-kiel.de/~mh/papers/ATPS12.html | |
| Search Strategies for Functional Logic Programming]] | Search Strategies for Functional Logic Programming]] | ||
| (//ATPS 2012//)\\ | (//ATPS 2012//)\\ | ||
| Line 117: | Line 116: | ||
| and compares their efficiency by some benchmarks. | and compares their efficiency by some benchmarks. | ||
| - | [[http://www-ps.informatik.uni-kiel.de/~mh/papers/WFLP11_KiCS2.html | | + | [[http://www.informatik.uni-kiel.de/~mh/papers/WFLP11_KiCS2.html | |
| KiCS2: A New Compiler from Curry to Haskell]] | KiCS2: A New Compiler from Curry to Haskell]] | ||
| (//WFLP 2011//)\\ | (//WFLP 2011//)\\ | ||
