Haskell and XML: generic combinators or type-based translation?
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Generation of LR parsers by partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Polytypic Compact Printing and Parsing
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Semantics-Based Filtering: Logic Programming's Killer App?
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Fast, Error Correcting Parser Combinatiors: A Short Tutorial
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Type-safe, self inspecting code
Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Journal of Functional Programming
Journal of Functional Programming
ACM SIGGRAPH 2005 Electronic Art and Animation Catalog
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Applicative programming with effects
Journal of Functional Programming
Macros for context-free grammars
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Unrestricted pure call-by-value recursion
Proceedings of the 2008 ACM SIGPLAN workshop on ML
Specifying Strategies for Exercises
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Electronic Notes in Theoretical Computer Science (ENTCS)
Categorical semantics for arrows
Journal of Functional Programming
The next 700 data description languages
Journal of the ACM (JACM)
Electronic Notes in Theoretical Computer Science (ENTCS)
Arrows, like Monads, are Monoids
Electronic Notes in Theoretical Computer Science (ENTCS)
Using strategies for assessment of programming exercises
Proceedings of the 41st ACM technical symposium on Computer science education
Typed Transformations of Typed Grammars: The Left Corner Transform
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Explicitly recursive grammar combinators: a better model for shallow parser DSLs
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Natural and flexible error recovery for generated parsers
SLE'09 Proceedings of the Second international conference on Software Language Engineering
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
A programming tutor for haskell
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Constructing applicative functors
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Natural and Flexible Error Recovery for Generated Modular Language Environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fixing idioms: a recursion primitive for applicative DSLs
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Lazy stateless incremental evaluation machinery for attribute grammars
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Hi-index | 0.00 |