Programming with sets; an introduction to SETL
Programming with sets; an introduction to SETL
ACM SIGPLAN Notices
Deciding ML typability is complete for deterministic exponential time
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Functional programming with Hope
Functional programming with Hope
An introduction to functional programming
An introduction to functional programming
ML for the working programmer
Assignments for applicative languages
Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
Integrating functional and imperative programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Functional Programming Using Standard ML
Functional Programming Using Standard ML
An Exception Handling Construct for Functional Languages
ESOP '88 Proceedings of the 2nd European Symposium on Programming
Imperative Effects from a Pure Functional Language
Proceedings of the 1989 Glasgow Workshop on Functional Programming
Gerald: An Exceptional Lazy Functional Programming Language
Proceedings of the 1989 Glasgow Workshop on Functional Programming
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Programming in Modula-2
Linear logic and permutation stacks—the Forth shall be first
ACM SIGARCH Computer Architecture News - Special issue: panel sessions of the 1991 workshop on multithreaded computers
Hi-index | 0.00 |
Fips is a language that integrates functional and imperative programming in a clean way. On the one hand, it is a full-fledged functional language with pattern matching, non-strict functions, polymorphism and data abstraction. On the other hand, it can be viewed as an imperative language which uses side-effect-free functions and, due to the functional heritage, is markedly more expressive than conventional languages. In addition, Fips features an unusual treatment of undefined values which allows for simple exception handling and backtracking.