Hammond, Kevin (ed.); Michaelson, Greg (ed.) Research directions in parallel functional programming. (English) Zbl 0940.68022 London: Springer. xxvi, 502 p. (1999). Reviewer: L.Brim (Brno) MSC: 68N18 68-02 68-06 00B15 PDFBibTeX XMLCite \textit{K. Hammond} (ed.) and \textit{G. Michaelson} (ed.), Research directions in parallel functional programming. London: Springer (1999; Zbl 0940.68022)
Pepper, Peter Functional programming in OPAL, ML, HASKELL and GOFER. (Funktionale Programmierung in OPAL, ML, HASKELL und GOFER.) (German) Zbl 0914.68027 Berlin: Springer. xiv, 296 p. (1999). Reviewer: G.Riedewald (Rostock) MSC: 68N15 PDFBibTeX XMLCite \textit{P. Pepper}, Funktionale Programmierung in OPAL, ML, HASKELL und GOFER. Berlin: Springer (1999; Zbl 0914.68027)
McCusker, Guy Games and full abstraction for a functional metalanguage with recursive types. (English) Zbl 0917.68192 Distinguished Dissertations. Berlin: Springer. xiv, 194 p. (1998). Reviewer: A.Kondrat’yev (Pensacola) MSC: 68T10 68-01 91A80 PDFBibTeX XMLCite \textit{G. McCusker}, Games and full abstraction for a functional metalanguage with recursive types. Berlin: Springer (1998; Zbl 0917.68192)
Severi, Paula Gabriela Normalisation in lambda calculus and its relation to type inference. (English) Zbl 0844.03004 Eindhoven: TU. iv, 201 p. (1996). Reviewer: R.David (Le Bourget Du Lac) MSC: 03B40 68Q42 PDFBibTeX XMLCite \textit{P. G. Severi}, Normalisation in lambda calculus and its relation to type inference. Eindhoven: TU (1996; Zbl 0844.03004)
Waxman, Ronald (ed.); Bergé, Jean-Michel (ed.); Levia, Oz (ed.); Rouillard, Jacques (ed.) High-level system modeling: specification and design methodologies. (English) Zbl 0838.68119 Current Issues in Electronic Modeling. 4. Dordrecht: Kluwer Academic Publishers. xvi, 192 p. (1996). MSC: 68U20 68-01 PDFBibTeX XMLCite \textit{R. Waxman} (ed.) et al., High-level system modeling: specification and design methodologies. Dordrecht: Kluwer Academic Publishers (1996; Zbl 0838.68119)
Dörr, Heiko Efficient graph rewriting and its implementation. (English) Zbl 1154.68435 Lecture Notes in Computer Science 922. Berlin: Springer-Verlag (ISBN 3-540-60055-8). ix, 266 p. (1995). MSC: 68Q42 68-02 68N15 68R10 PDFBibTeX XMLCite \textit{H. Dörr}, Efficient graph rewriting and its implementation. Berlin: Springer-Verlag (1995; Zbl 1154.68435)
Di Cosmo, Roberto Isomorphisms of types: from \(\lambda\)-calculus to information retrieval and language design. (English) Zbl 0819.03006 Progress in Theoretical Computer Science. Basel: Birkhäuser. viii, 235 p. (1995). Reviewer: C.Berline (Paris) MSC: 03B40 03-02 68-02 68P20 68Q60 03B70 PDFBibTeX XMLCite \textit{R. Di Cosmo}, Isomorphisms of types: from \(\lambda\)-calculus to information retrieval and language design. Basel: Birkhäuser (1995; Zbl 0819.03006)
Broda, Krysia; Eisenbach, Susan; Khoshnevisan, Hessam; Vickers, Steve Reasoned programming. (English) Zbl 0814.68087 London: Prentice Hall. xvi, 296 p. (1994). Reviewer: R.Horsch (Markdorf) MSC: 68Q60 68N99 68-01 PDFBibTeX XMLCite \textit{K. Broda} et al., Reasoned programming. London: Prentice Hall (1994; Zbl 0814.68087)
Louden, Kenneth C. Programming languages - principles and practice. (Programmiersprachen. Grundlagen, Konzepte, Entwurf. Aus d. Amerikan. übers. von Peter Dobrowolski u. Mechthild Boré.) (English) Zbl 0826.68022 Informatik Lehrbuch-Reihe. Bonn: International Thomson Publishing. xvii, 810 p. DM 79.00 /hc (1993). Reviewer: H.Alt (Berlin) MSC: 68N15 68N01 68Q55 68N17 68-01 PDFBibTeX XMLCite \textit{K. C. Louden}, Programmiersprachen. Grundlagen, Konzepte, Entwurf. Aus d. Amerikan. übers. von Peter Dobrowolski u. Mechthild Boré. Bonn: International Thomson Publishing (1993; Zbl 0826.68022)
Fischer, Alice E.; Grodzinsky, Frances S. The anatomy of programming languages. (English) Zbl 0774.68005 London: Prentice-Hall International. XXVIII, 557 p. (1993). Reviewer: G.Ciobanu (Iaşi) MSC: 68-01 68N15 68N01 68Q55 PDFBibTeX XMLCite \textit{A. E. Fischer} and \textit{F. S. Grodzinsky}, The anatomy of programming languages. London: Prentice-Hall International (1993; Zbl 0774.68005)
Plasmeijer, Rinus; van Eekelen, Marko Functional programming and parallel graph rewriting. (English) Zbl 0788.68023 International Computing Science Series. Amsterdam: Addison-Wesley Publishing Group. XVII, 571 p. $ 48.50 /hc (1993). Reviewer: S.Gerber (Stuttgart) MSC: 68N15 68-01 68Q10 68Q42 PDFBibTeX XMLCite \textit{R. Plasmeijer} and \textit{M. van Eekelen}, Functional programming and parallel graph rewriting. Amsterdam: Addison-Wesley Publishing Group (1993; Zbl 0788.68023)
Gunter, Carl A. Semantics of programming languages. Structures and techniques. (English) Zbl 0823.68059 MIT Press Series in the Foundations of Computing. London: MIT Press. xviii, 419 p. $ 34.95 /sc (1992). Reviewer: D.Werner (Dresden) MSC: 68Q55 68N15 68-02 PDFBibTeX XMLCite \textit{C. A. Gunter}, Semantics of programming languages. Structures and techniques. London: MIT Press (1992; Zbl 0823.68059)
America, P. H. M.; Rutten, J. J. M. M. A parallel object-oriented language: design and semantic foundations. (English) Zbl 0760.68044 CWI Tracts. 81. Amsterdam: Centrum voor Wiskunde en Informatica. 316 p. (1991). Reviewer: P.Forbrig (Rostock) MSC: 68Q55 68-02 PDFBibTeX XMLCite \textit{P. H. M. America} and \textit{J. J. M. M. Rutten}, A parallel object-oriented language: design and semantic foundations. Amsterdam: Centrum voor Wiskunde en Informatica (1991; Zbl 0760.68044)
Zimmer, Ralf Martin Pragmatism of an operationalized \(\lambda\)-calculus as a basis for interactive reduction systems. (Zur Pragmatik eines operationalisierten \(\lambda{}\)-Kalküls als Basis für interaktive Reduktionssysteme.) (German) Zbl 0786.68003 Berichte der Gesellschaft für Mathematik und Datenverarbeitung (GMD- Berichte). 192. München etc.: R. Oldenbourg Verlag. 442 p. (1991). Reviewer: P.Materna (Praha) MSC: 68-01 68N15 03B40 PDFBibTeX XMLCite \textit{R. M. Zimmer}, Zur Pragmatik eines operationalisierten \(\lambda{}\)-Kalküls als Basis für interaktive Reduktionssysteme. München etc.: R. Oldenbourg Verlag (1991; Zbl 0786.68003)
Banâtre, Jean-Pierre; Jones, Simon B.; Le Métayer, Daniel Prospects for functional programming in software engineering. (English) Zbl 0760.68006 Research Reports ESPRIT. Project 302. 1. Berlin etc.: Springer-Verlag. IX, 210 p. (1991). Reviewer: S.Gerber (Stuttgart) MSC: 68-02 PDFBibTeX XMLCite \textit{J.-P. Banâtre} et al., Prospects for functional programming in software engineering. Berlin etc.: Springer-Verlag (1991; Zbl 0760.68006)
Koopman, Philip John jun. An architecture for combinator graph reduction. (English) Zbl 0773.68001 Boston etc.: Academic Press. XV, 155 p. (1990). Reviewer: H.Schmeck (Karlsruhe) MSC: 68-02 68M99 68N15 68N01 68N20 PDFBibTeX XMLCite \textit{P. J. Koopman jun.}, An architecture for combinator graph reduction. Boston etc.: Academic Press (1990; Zbl 0773.68001)
Pirani, Giancarlo (ed.) Advanced algorithms and architectures for speech understanding. (English) Zbl 0713.68047 Research Reports ESPRIT, Project 26, SIP, 1. Berlin etc.: Springer-Verlag. XIV, 274 p. DM 45.00 (1990). Reviewer: K.Peeva MSC: 68T10 68T01 68-06 PDFBibTeX XMLCite \textit{G. Pirani} (ed.), Advanced algorithms and architectures for speech understanding. Berlin etc.: Springer-Verlag (1990; Zbl 0713.68047)
Paulson, Lawrence C. Logic and computation. Interactive proof with Cambridge LCF. (English) Zbl 0645.68041 Cambridge Tracts in Theoretical Computer Science, 2. Cambridge etc.: Cambridge University Press. XIII, 302 p.; Ł 27.50; $ 34.50 (1987). Reviewer: J.-J.Ch.Meyer MSC: 68Q65 03-01 68-01 03B10 03F99 03D99 18C10 03B40 PDFBibTeX XML Full Text: DOI