Sciweavers

8766 search results - page 108 / 1754
» Functional logic programming
Sort
View
ECOOP
2007
Springer
15 years 6 months ago
Code Analyses for Refactoring by Source Code Patterns and Logical Queries
Daniel Speicher, Malte Appeltauer, Günter Kni...
PEPM
2011
ACM
14 years 5 months ago
Calculating tree navigation with symmetric relational zipper
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
Yuta Ikeda, Susumu Nishimura
ICFP
2002
ACM
16 years 2 months ago
Contracts for higher-order functions
Robert Bruce Findler, Matthias Felleisen
ECOOP
2004
Springer
15 years 7 months ago
Functional Objects
Matthias Felleisen