How to replace failure by a list of successes
Proc. of a conference on Functional programming languages and computer architecture
Revised report on the algorithmic language scheme
ACM SIGPLAN Notices
Common LISP: the language
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
An introduction to functional programming
An introduction to functional programming
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
A system of constructor classes: overloading and implicit higher-order polymorphism
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Lower bounds on type inference with subtypes
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
OVIDE: a tool for data acquisition and validation
ACM SIGPLAN Notices
Numerical analysis using nonprocedural paradigms
ACM Transactions on Mathematical Software (TOMS)
Progress in programming languages
ACM Computing Surveys (CSUR)
Incremental analysis of real programming languages
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
Minimal typings in atomic subtyping
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Auto-blocking matrix-multiplication or tracking BLAS3 performance from source code
PPOPP '97 Proceedings of the sixth ACM SIGPLAN symposium on Principles and practice of parallel programming
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation
IEEE Transactions on Software Engineering
An introduction to Haskell with applications to digital signal processing
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Declarative event-oriented programming
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Exception Handling in the Spreadsheet Paradigm
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Open and closed scopes for constrained genericity
Theoretical Computer Science
The Evaluation Dependence Tree as a Basis for Lazy FunctionalDebugging
Automated Software Engineering
Modeling Costs of Turns in Route Planning
Geoinformatica
An Operational Approach to the Semantics of Classes: Application to Type Checking
Programming and Computing Software
Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language
LACL '97 Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics
From Functional Animation to Sprite-Based Display
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Seven Deadly Sins of Introductory Programming Language Design
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
A back-end for GHC based on categorical multi-combinators
Proceedings of the 2004 ACM symposium on Applied computing
Red-black trees in a functional setting
Journal of Functional Programming
On the effectiveness of functional language features: NAS benchmark FT
Journal of Functional Programming
There and back again: arrows for invertible programming
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
A compiler tutorial scaled for the programming languages course
Proceedings of the 37th SIGCSE technical symposium on Computer science education
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
A ρ-calculus of explicit constraint application
Higher-Order and Symbolic Computation
Lightweight languages as software engineering tools
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Modeling interactive 3D and multimedia animation with an embedded language
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
A method for representing 3D tree objects using chain coding
Journal of Visual Communication and Image Representation
Distributed event-based access control
International Journal of Information and Computer Security
BLAKE: A language designed for Programming I
Education and Information Technologies
MIDI programming in scheme: supported by an Emacs environment
Proceedings of the 7th European Lisp Workshop
A functional framework for result checking
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Using types to parse natural language
FP'95 Proceedings of the 1995 international conference on Functional Programming
Hi-index | 0.00 |