Sciweavers

8766 search results - page 108 / 1754
» Functional logic programming
Sort
View
ECOOP
2007
Springer
15 years 1 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 22 days 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
15 years 9 months ago
Contracts for higher-order functions
Robert Bruce Findler, Matthias Felleisen
53
Voted
ECOOP
2004
Springer
15 years 3 months ago
Functional Objects
Matthias Felleisen