Message-based functional operating systems
Science of Computer Programming
FLIC—a functional language intermediate code
ACM SIGPLAN Notices
Functional programming and operating systems
The Computer Journal - Special issue on Lazy functional programming
Communication and concurrency
Sacrificing simplicity for convenience: Where do you draw the line?
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The definition of Standard ML
Equality in lazy computation systems
Proceedings of the Fourth Annual Symposium on Logic in computer science
Referential transparency, definiteness and unfoldability
Acta Informatica
Formal Aspects of Computing
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
An introduction to functional programming
An introduction to functional programming
Research topics in functional programming
Research topics in functional programming
An approach to functional operating systems
Research topics in functional programming
Interactive functional programs
Research topics in functional programming
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
On the expressive power of programming languages
ESOP '90 Selected papers from the symposium on 3rd European symposium on programming
Observable sequentiality and full abstraction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Imperative functional programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A correspondence between ALGOL 60 and Church's Lambda-notations: Part II
Communications of the ACM
Dialogues: A basis for constructing programming environments
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
LISP 1.5 Programmer's Manual
Relating operational and denotational semantics for input/output effects
Mathematical Structures in Computer Science
Reasoning about deterministic concurrent functional i/o
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Hi-index | 0.01 |