| Laws in Miranda |
| Full text |
 Pdf
(775 KB)
|
| Source
|
Conference on LISP and Functional Programming
archive
Proceedings of the 1986 ACM conference on LISP and functional programming
table of contents
Cambridge, Massachusetts, United States
Pages: 1 - 12
Year of Publication: 1986
ISBN:0-89791-200-4
|
|
Author
|
|
Simon Thompson
|
Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, CT2 7NF, U.K.
|
|
| Sponsor |
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 5, Downloads (12 Months): 20, Citation Count: 5
|
|
|
 REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
| |
2
|
|
| |
3
|
Michie, D. 'Memo' functions and machine learning, Nature, No. 218, April 1968.
|
| |
4
|
Turner D.A. A new implementation technique for applicative languages, Software -- Practice and Experience, 9, 31-49, 1979.
|
| |
5
|
|
| |
6
|
|
| |
7
|
Huet (3. and D. C. Oppen, Equations and Rewrite Rules: A Survey, in R. Book (ed.), Formal Languages: Perspectives and Open Problems, Academic Press, 1980.
|
| |
8
|
Dershowitz, N., Orderings for Term-Rewriting Systems, Theoret. Comp. Sci., 17, (1982), 279-301.
|
| |
9
|
|
| |
10
|
Milner, R., A Theory of Type Polymorphism in Programming, Jour. Comp. Sys. Sci, 17 (1978).
|
| |
11
|
Darlington, J., Program Transformation, in Darlington, J., Henderson, P. and Turner, D. (eds.) Functional Programming and its Applications, Cambridge U.P. (1982).
|
| |
12
|
Thompson, S.J., Laws in Miranda, Computing Laboratory Report 35, University of Kent at Canterbury, 1985.
|
| |
13
|
Thompson, S.S., Proving properties of functions over lawful types Computing Laboratory Report, University of Kent at Canterbury, to appear 1986.
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
