Fun, rigour and pragmatism in functional programming
ACM SIGCSE Bulletin
Functional programming is not self-modifying code
ACM SIGPLAN Notices
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Hamming numbers, lazy evaluation, and eager disposal
ACM SIGPLAN Notices
The CTalk programming language: a strategic evolution of APL
APL '92 Proceedings of the international conference on APL
Memory subsystem performance of programs using copying garbage collection
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Explaining type errors in polymorphic languages
ACM Letters on Programming Languages and Systems (LOPLAS)
A type-theoretic approach to higher-order modules with sharing
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Memory system performance of programs with intensive heap allocation
ACM Transactions on Computer Systems (TOCS)
Dimension inference under polymorphic recursion
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Cache performance of fast-allocating programs
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
TIL: a type-directed optimizing compiler for ML
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Revisiting catamorphisms over datatypes with embedded functions (or, programs from outer space)
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Generational stack collection and profile-driven pretenuring
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Comparing mostly-copying and mark-sweep conservative collection
Proceedings of the 1st international symposium on Memory management
Optimizing Queries with Object Updates
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
An introduction to Haskell with applications to digital signal processing
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Specification-consistent coordination model for computations
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Logic Program Synthesis as Problem Reduction Using Combining Forms
Automated Software Engineering
Context-sensitive rewriting strategies
Information and Computation
An Introduction to Landin‘s “A Generalization of Jumps and Labels”
Higher-Order and Symbolic Computation
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Single Assignment C: efficient support for high-level array operations in a functional setting
Journal of Functional Programming
Inductive graphs and functional graph algorithms
Journal of Functional Programming
From ML to Ada: Strongly-typed language interoperability via source translation
Journal of Functional Programming
TIL: a type-directed, optimizing compiler for ML
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Lazy functional programming in Java
ACM SIGPLAN Notices
Inductive reasoning about effectful data types
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
The function block model in embedded control and automation from IEC61131 to IEC61499
WSEAS Transactions on Computers
ChalkBoard: mapping functions to polygons
IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
Toward general analysis of recursive probability models
UAI'01 Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence
New results on type systems for functional logic programming
WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming
Hi-index | 0.00 |