Hostname: page-component-78c5997874-4rdpn Total loading time: 0 Render date: 2024-11-15T07:53:27.374Z Has data issue: false hasContentIssue false

Functional Pearl: On generating unique names

Published online by Cambridge University Press:  07 November 2008

Lennart Augustsson
Affiliation:
Department of Computing Science, Chalmers University of Technology and University of Göteborg, S-412 96 Göteborg, Sweden (E-mail: {augustss,rittri,synek}@cs.chalmers.se)
Mikael Rittri
Affiliation:
Department of Computing Science, Chalmers University of Technology and University of Göteborg, S-412 96 Göteborg, Sweden (E-mail: {augustss,rittri,synek}@cs.chalmers.se)
Dan Synek
Affiliation:
Department of Computing Science, Chalmers University of Technology and University of Göteborg, S-412 96 Göteborg, Sweden (E-mail: {augustss,rittri,synek}@cs.chalmers.se)
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

And Joktan begat Almodad, and Sheleph, and Hazarmaveth, and Jerah, and Handoram, and Uzal, and Diklah, and Obal, and Abimael, and Sheba, and Ophir, and Havilah, and Jobab: all these were the sons of Joktan.

Genesis 10:26–29

Type
Articles
Copyright
Copyright © Cambridge University Press 1994

References

Augustsson, L. (1989) Functional non-deterministic programming, or How to make your own oracle. PMG memo 66, Dept. of Comput. Sci., Chalmers Univ. of Tech., Göteborg, Sweden (augustss@cs.chalmers.se).Google Scholar
Burton, F. W. (1988) Nondeterminism with referential transparency in functional programming languages. Computer Journal, 31(3):243247.CrossRefGoogle Scholar
Hancock, P. (1987) A type-checker. Chapter 9 (pp. 163182) of Peyton Jones, S. L., The Implementation of Functional Programming Languages, Prentice-Hall.Google Scholar
Hudak, P. et al. (1992) Haskell special issue. ACM SIGPLAN Notices, 27(5).Google Scholar
Paulson, L. C. (1991) Imperative programming in ML. Chapter 8 (pp. 279313) of ML for the Working Programmer, Cambridge University Press.Google Scholar
Wadler, P. (1990) Comprehending monads. In ACM Conf. on LISP and Functional Programming, Nice, pp. 6178, ACM Press.Google Scholar
Submit a response

Discussions

No Discussions have been published for this article.