Miranda 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.68014Turner, D. A. 1985 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 all top 5 Cited in 38 Serials 14 Theoretical Computer Science 8 Journal of Functional Programming 7 Information and Computation 6 Information Processing Letters 6 Science of Computer Programming 5 New Generation Computing 4 Formal Aspects of Computing 3 Computers & Mathematics with Applications 3 The Computer Journal. Section A / Section B 3 The Journal of Logic Programming 2 Annals of Pure and Applied Logic 2 Journal of Symbolic Computation 2 MSCS. Mathematical Structures in Computer Science 1 Acta Informatica 1 Bulletin of Mathematical Biology 1 Computer Languages 1 IEEE Transactions on Computers 1 Journal of Computer and System Sciences 1 Software. Practice & Experience 1 Annales Societatis Mathematicae Polonae. Series IV 1 Applied Numerical Mathematics 1 Journal of Computer Science and Technology 1 CAD. Computer-Aided Design 1 Journal of Parallel and Distributed Computing 1 International Journal of Foundations of Computer Science 1 SIAM Journal on Scientific Computing 1 1 Constraints 1 Higher-Order and Symbolic Computation 1 The Journal of Logic and Algebraic Programming 1 Computer Languages, Systems & Structures 1 Journal of Discrete Algorithms 1 Cambridge Tracts in Theoretical Computer Science 1 CWI Tracts 1 Berichte der Gesellschaft für Mathematik und Datenverarbeitung (GMD-Berichte) 1 Lecture Notes in Computer Science 1 Current Issues in Electronic Modeling 1 Distinguished Dissertations all top 5 Cited in 12 Fields 144 Computer science (68-XX) 40 Mathematical logic and foundations (03-XX) 5 Category theory; homological algebra (18-XX) 5 Numerical analysis (65-XX) 3 General algebraic systems (08-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 General and overarching topics; collections (00-XX) 1 Fluid mechanics (76-XX) 1 Geophysics (86-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year