An introduction to functional programming systems using Haskell

A multiparadigm approach to compiler construction

ACM SIGPLAN Notices

Never mind the paradigm, what about multiparadigm languages?

ACM SIGCSE Bulletin

Numerical analysis using nonprocedural paradigms

ACM Transactions on Mathematical Software (TOMS)

An introduction to Haskell with applications to digital signal processing

SAC '94 Proceedings of the 1994 ACM symposium on Applied computing

Polymorphic CSP type checking

ACSC '01 Proceedings of the 24th Australasian conference on Computer science

Design of embedded systems: formal models, validation, and synthesis

Readings in hardware/software co-design

Computer-Aided Construction of Finite Geometric Spaces: Automated Verification of Geometric Constraints

Journal of Automated Reasoning

NL-OOPS: from natural language to object oriented requirements using the natural language processing system LOLITA

Natural Language Engineering

Webrb: evaluating a visual domain-specific language for building relational web-applications

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications

Filters on coinductive streams, an application to eratosthenes' sieve

TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications

Reasoning about i/o in functional programs

CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School