swMATH ID: 4986
Software Authors: Turner, D.A.
Description: Miranda: A non-strict functional language with polymorphic types. The last few years have seen much fruitful research into the nature of functional programming. Although there are still many important questions unanswered it seems clear that we have reached a point at which it is appropriate to make available what we have found out so far to a larger community, in the form of stable implementations of complete and well-documented programming languages. Miranda is a functional programming language which has been developed with this aim in mind. Given that there are still honest disagreements about some quite fundamental questions amongst researchers in the field, we cannot have a single vehicle. Miranda embodies one set of design decisions. The basic ideas of Miranda are closely modelled on those of the earlier languages SASL and KRC. To arrive at a system more suitable for tackling large problems Miranda adds to this foundation (i) a polymorphic type system and (ii) a library structure with type secure facilities for separate compilation and linking. The major part of this paper will be taken up with a discussion of the type system and in particular the facilities for userdefined types in Miranda, with other aspects of the language and its programming environment being only briefly sketched.
Homepage: http://miranda.org.uk/
Keywords: functional programming; programming languages; Miranda; SASL; KRC; polymorphic type system; library structure; compilation; linking
Related Software: Haskell; ML; CLEAN; Nuprl; BABEL; Automath; LISP; OBJ3; Cambridge LCF; LCF; CLOS; AGG; iTasks; Maude; LETOS; LARCH; Isabelle; Centaur; DACTL; Simula 67
Cited in: 150 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Miranda: A non-strict functional language with polymorphic types. Zbl 0592.68014
Turner, D. A.
all top 5

Cited by 210 Authors

5 Klop, Jan Willem
4 van Bakel, Steffen
3 de Macedo Mourelle, Luiza
3 Glaser, Hugh
3 Kesner, Delia
3 Lins, Rafael Dueire
3 Nedjah, Nadia
3 Piotrowski, Jerzy A.
3 Rodríguez-Artalejo, Mario
3 Stärk, Robert F.
3 Thompson, Simon J.
2 Abramsky, Samson
2 Barbanera, Franco
2 Barendregt, Hendrik Pieter
2 Burn, Geoffrey L.
2 de Vries, Fer-Jan J.
2 Fernández, Maribel
2 Hartel, Pieter H.
2 Kennaway, J. R.
2 Kennaway, Richard
2 Laville, Alain
2 Mairson, Harry George
2 Michaelson, Greg
2 Moreno-Navarro, Juan José
2 Nielson, Flemming
2 Plasmeijer, M. J.
2 Plasmeijer, Rinus
2 Reniers, Michel Adriaan
2 Sleep, M. Ronan
2 Takeichi, Masato
2 van Eekelen, M. C. J. D.
2 van Eekelen, Marko
1 Ackley, David H.
1 America, P. H. M.
1 America, Pierre
1 Arvind
1 Axford, Tom
1 Bae, Doo-Hwan
1 Bainbridge, E. S.
1 Banatre, Jean-Pierre
1 Barklund, Jonas
1 Bendkowski, Maciej
1 Bergé, Jean-Michel
1 Bethke, Inge
1 Bevemyr, Johan
1 Blödorn, Harald
1 Bolton, David
1 Bossi, Annalisa
1 Boulos, Pierre
1 Boute, Raymond T.
1 Bove, Ana
1 Breebaart, Leo C.
1 Broda, Krysia B.
1 Bruce, Kim B.
1 Brus, T. H.
1 Burton, F. Warren
1 Cerrito, Serenella
1 Chapman, Nigel P.
1 Chen, Yiyun
1 Clerici, Silvia
1 Cocco, Nicoletta
1 Cockshott, Paul
1 Coppo, Mario
1 Cordy, James R.
1 Darlington, John
1 de Moor, Oege
1 de Vrijer, Roel
1 Di Cosmo, Roberto
1 Dörr, Heiko
1 Dovier, Agostino
1 Dufourd, Jean-François
1 Dybjer, Peter
1 Eisenbach, Susan
1 Elliott, Conal M.
1 Endrullis, Jörg
1 Fabris, Maria Angelica
1 Fischer, Alice E.
1 Fokkinga, Maarten M.
1 Forrest, Stephanie
1 Freyd, Peter J.
1 Frost, Richard A.
1 Gardner, Philippa Anne
1 Garratt, Paul W.
1 Gervet, Carmen
1 Giannini, Paola
1 Glauert, John
1 Gnaedig, Isabelle
1 Goguen, Joseph Amadee
1 Gonzalez-Moreno, Juan Carlos
1 Gray, Peter M. D.
1 Grodzinsky, Frances S.
1 Groote, Jan Friso
1 Gunter, Carl A.
1 Guo, Yike
1 Hall, Cordelia V.
1 Hammond, Kevin
1 Hankin, Chris L.
1 Hanus, Michael
1 Hayes, Sean
1 Heider, Thomas
...and 110 more Authors

Citations by Year