A critique of Abelson and Sussman or why calculating is better than scheming
ACM SIGPLAN Notices
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
A gentle introduction to Haskell
ACM SIGPLAN Notices - Haskell special issue
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
The essence of functional programming
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Widening the representation bottleneck: a functional implementation of relational programming
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Benchmarking implementations of lazy functional languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Integration of functional and logic programming
ACM Computing Surveys (CSUR)
Integration of declarative paradigms: benefits and challenges
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
ACM Computing Surveys (CSUR)
Haskell and XML: generic combinators or type-based translation?
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Journal of the ACM (JACM)
Exception Handling in the Spreadsheet Paradigm
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Functional and constraint logic programming
Constraints in computational logics
Packrat parsing:: simple, powerful, lazy, linear time, functional pearl
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Exception Handlers in Functional Programming Languages
IEEE Transactions on Software Engineering
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
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
Combinators for breadth-first search
Journal of Functional Programming
Journal of Functional Programming
Haskell: The Craft of Functional Programming by Simon Thompson, Addison-Wesley, 1996.
Journal of Functional Programming
Even higher-order functions for parsing or Why would anyone ever want to use a sixth-order function?
Journal of Functional Programming
Escape from Zurg: an exercise in logic programming
Journal of Functional Programming
Relating models of backtracking
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Functional pearl: i am not a number--i am a free variable
Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Type-safe, self inspecting code
Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Journal of Functional Programming
FUNCTIONAL PEARL Pickler combinators
Journal of Functional Programming
A systematic approach to static access control
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGGRAPH 2005 Electronic Art and Animation Catalog
On the static and dynamic extents of delimited continuations
Science of Computer Programming
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
Executable Grammars in Newspeak
Electronic Notes in Theoretical Computer Science (ENTCS)
Applicative programming with effects
Journal of Functional Programming
Purely functional lazy non-deterministic programming
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
A multilingual natural-language interface to regular expressions
FSMNLP '09 Proceedings of the International Workshop on Finite State Methods in Natural Language Processing
The next 700 data description languages
Journal of the ACM (JACM)
Programming with singular and plural non-deterministic functions
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Monadic constraint programming
Journal of Functional Programming
Monadic memoization towards correctness-preserving reduction of search
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Comparing approaches to generic programming in Haskell
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Parser combinators for ambiguous left-recursive grammars
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Journal of Visual Languages and Computing
Transforming functional logic programs into monadic functional programs
WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
KiCS2: a new compiler from Curry to Haskell
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
From functional logic programs to purely functional programs preserving laziness
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Variability-aware parsing in the presence of lexical macros and conditional compilation
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Soutei, a logic-based trust-management system
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Lazy combinators for executable specifications of general attribute grammars
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Purely functional lazy nondeterministic programming
Journal of Functional Programming - Dedicated to ICFP 2009
Modular natural language processing using declarative attribute grammars
MICAI'11 Proceedings of the 10th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
A tactic language for reasoning about Z specifications
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Lenient evaluation is neither strict nor lazy
Computer Languages
The new quickcheck for isabelle: random, exhaustive and symbolic testing under one roof
CPP'12 Proceedings of the Second international conference on Certified Programs and Proofs
Parsing graphs: applying parser combinators to graph traversals
Proceedings of the 4th Workshop on Scala
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Hi-index | 0.00 |