Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
GNU EMACS as a dynamically extensible programming environment
Software—Practice & Experience
The next 700 programming languages
Communications of the ACM
Occam Programming Manual
Hi-index | 0.00 |
We show the design principles of an automatic indentation GNU Emacs mode for Haskell and Miranda(tm), functional languages using the ‘layout rule’ instead of the usual parenthetic structures for indentifying dependent program parts.