Marshall, Daniel; Vollmer, Michael; Orchard, Dominic Linearity and uniqueness: an entente cordiale. (English) Zbl 1528.68084 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 346-375 (2022). MSC: 68N30 03B70 68N18 PDFBibTeX XMLCite \textit{D. Marshall} et al., Lect. Notes Comput. Sci. 13240, 346--375 (2022; Zbl 1528.68084) Full Text: DOI OA License
Ahman, Danel; Bauer, Andrej Runners in action. (English) Zbl 1508.68050 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 29-55 (2020). MSC: 68N30 68N18 68Q55 PDFBibTeX XMLCite \textit{D. Ahman} and \textit{A. Bauer}, Lect. Notes Comput. Sci. 12075, 29--55 (2020; Zbl 1508.68050) Full Text: DOI arXiv OA License
Benoit, Tuur; Jacobs, Bart Uniqueness types for efficient and verifiable aliasing-free embedded systems programming. (English) Zbl 1540.68056 Ahrendt, Wolfgang (ed.) et al., Integrated formal methods. 15th international conference, IFM 2019, Bergen, Norway, December 2–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11918, 46-64 (2019). MSC: 68N30 68N15 68Q60 PDFBibTeX XMLCite \textit{T. Benoit} and \textit{B. Jacobs}, Lect. Notes Comput. Sci. 11918, 46--64 (2019; Zbl 1540.68056) Full Text: DOI
Gibbons, Jeremy Comprehending ringads. For Phil Wadler, on the occasion of his 60th birthday. (English) Zbl 1343.68058 Lindley, Sam (ed.) et al., A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-30935-4/pbk; 978-3-319-30936-1/ebook). Lecture Notes in Computer Science 9600, 132-151 (2016). MSC: 68N30 68N15 PDFBibTeX XMLCite \textit{J. Gibbons}, Lect. Notes Comput. Sci. 9600, 132--151 (2016; Zbl 1343.68058) Full Text: DOI
Magalhães, José Pedro Generic programming with multiple parameters. (English) Zbl 1416.68040 Codish, Michael (ed.) et al., Functional and logic programming. 12th international symposium, FLOPS 2014, Kanazawa, Japan, June 4–6, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8475, 136-151 (2014). MSC: 68N18 PDFBibTeX XMLCite \textit{J. P. Magalhães}, Lect. Notes Comput. Sci. 8475, 136--151 (2014; Zbl 1416.68040) Full Text: DOI
Lijnse, Bas Evolution of a parallel task combinator. (English) Zbl 1405.68062 Achten, Peter (ed.) et al., The beauty of functional code. Essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday. Berlin: Springer (ISBN 978-3-642-40354-5/pbk). Lecture Notes in Computer Science 8106. Lecture Notes in Artificial Intelligence, 193-210 (2013). MSC: 68N18 PDFBibTeX XMLCite \textit{B. Lijnse}, Lect. Notes Comput. Sci. 8106, 193--210 (2013; Zbl 1405.68062) Full Text: DOI
de Vries, Edsko Modelling unique and affine typing using polymorphism. (English) Zbl 1405.68065 Achten, Peter (ed.) et al., The beauty of functional code. Essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday. Berlin: Springer (ISBN 978-3-642-40354-5/pbk). Lecture Notes in Computer Science 8106. Lecture Notes in Artificial Intelligence, 181-192 (2013). MSC: 68N18 PDFBibTeX XMLCite \textit{E. de Vries}, Lect. Notes Comput. Sci. 8106, 181--192 (2013; Zbl 1405.68065) Full Text: DOI
Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem; Polonsky, Andrew Clocks for functional programs. (English) Zbl 1405.68058 Achten, Peter (ed.) et al., The beauty of functional code. Essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday. Berlin: Springer (ISBN 978-3-642-40354-5/pbk). Lecture Notes in Computer Science 8106. Lecture Notes in Artificial Intelligence, 97-126 (2013). MSC: 68N18 PDFBibTeX XMLCite \textit{J. Endrullis} et al., Lect. Notes Comput. Sci. 8106, 97--126 (2013; Zbl 1405.68058) Full Text: DOI
Koopman, Pieter Functional semantics. (English) Zbl 1405.68061 Achten, Peter (ed.) et al., The beauty of functional code. Essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday. Berlin: Springer (ISBN 978-3-642-40354-5/pbk). Lecture Notes in Computer Science 8106. Lecture Notes in Artificial Intelligence, 60-78 (2013). MSC: 68N18 68P05 68Q55 PDFBibTeX XMLCite \textit{P. Koopman}, Lect. Notes Comput. Sci. 8106, 60--78 (2013; Zbl 1405.68061) Full Text: DOI
van Bakel, Steffen J.; Rowe, Reuben N. S. Functional type assignment for Featherweight Java. To Rinus Plasmeijer, in honour of his 61st birthday. (English) Zbl 1405.68034 Achten, Peter (ed.) et al., The beauty of functional code. Essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday. Berlin: Springer (ISBN 978-3-642-40354-5/pbk). Lecture Notes in Computer Science 8106. Lecture Notes in Artificial Intelligence, 27-46 (2013). MSC: 68N15 68N18 68N19 PDFBibTeX XMLCite \textit{S. J. van Bakel} and \textit{R. N. S. Rowe}, Lect. Notes Comput. Sci. 8106, 27--46 (2013; Zbl 1405.68034) Full Text: DOI
Seidel, Daniel; Voigtländer, Janis Refined typing to localize the impact of forced strictness on free theorems. (English) Zbl 1237.68051 Acta Inf. 48, No. 3, 191-211 (2011). MSC: 68N18 PDFBibTeX XMLCite \textit{D. Seidel} and \textit{J. Voigtländer}, Acta Inf. 48, No. 3, 191--211 (2011; Zbl 1237.68051) Full Text: DOI
Domoszlai, László; Bruël, Eddy; Jansen, Jan Martin Implementing a non-strict purely functional language in JavaScript. (English) Zbl 1236.68027 Acta Univ. Sapientiae, Inform. 3, No. 1, 76-98 (2011). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{L. Domoszlai} et al., Acta Univ. Sapientiae, Inform. 3, No. 1, 76--98 (2011; Zbl 1236.68027)
Spitters, Bas; van der Weegen, Eelis Type classes for mathematics in type theory. (English) Zbl 1223.68105 Math. Struct. Comput. Sci. 21, No. 4, 795-825 (2011). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{B. Spitters} and \textit{E. van der Weegen}, Math. Struct. Comput. Sci. 21, No. 4, 795--825 (2011; Zbl 1223.68105) Full Text: DOI
Achten, Peter; van Eekelen, Marko; Koopman, Pieter; Morazán, Marco T. Trends in trends in functional programming 1999/2000 versus 2007/2008. (English) Zbl 1256.68028 High.-Order Symb. Comput. 23, No. 4, 465-487 (2010). MSC: 68N18 68N19 PDFBibTeX XMLCite \textit{P. Achten} et al., High.-Order Symb. Comput. 23, No. 4, 465--487 (2010; Zbl 1256.68028) Full Text: DOI
Holdermans, Stefan; Hage, Jurriaan Making “stricterness” more relevant. (English) Zbl 1232.68026 High.-Order Symb. Comput. 23, No. 3, 315-335 (2010). MSC: 68N15 68N20 PDFBibTeX XMLCite \textit{S. Holdermans} and \textit{J. Hage}, High.-Order Symb. Comput. 23, No. 3, 315--335 (2010; Zbl 1232.68026) Full Text: DOI
Herman, David; Tomb, Aaron; Flanagan, Cormac Space-efficient gradual typing. (English) Zbl 1232.68025 High.-Order Symb. Comput. 23, No. 2, 167-189 (2010). MSC: 68N15 68Q55 PDFBibTeX XMLCite \textit{D. Herman} et al., High.-Order Symb. Comput. 23, No. 2, 167--189 (2010; Zbl 1232.68025) Full Text: DOI
Tejfel, Máté Proving composed specifications of Clean programs in Sparkle-T. (English) Zbl 1185.68426 Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 155-162 (2009). MSC: 68Q60 68N18 68N30 PDFBibTeX XMLCite \textit{M. Tejfel}, in: Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28--31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 155--162 (2009; Zbl 1185.68426)
Hinze, Ralf; Löh, Andres Generic programming in 3D. (English) Zbl 1192.68138 Sci. Comput. Program. 74, No. 8, 590-628 (2009). MSC: 68N18 PDFBibTeX XMLCite \textit{R. Hinze} and \textit{A. Löh}, Sci. Comput. Program. 74, No. 8, 590--628 (2009; Zbl 1192.68138) Full Text: DOI
de Mol, Maarten; van Eekelen, Marko; Plasmeijer, Rinus Proving properties of lazy functional programs with Sparkle. (English) Zbl 1170.68420 Horváth, Zoltán (ed.) et al., Central European functional programming school. Second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23–30, 2007. Revised selected lectures. Berlin: Springer (ISBN 978-3-540-88058-5/pbk). Lecture Notes in Computer Science 5161, 41-86 (2008). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{M. de Mol} et al., Lect. Notes Comput. Sci. 5161, 41--86 (2008; Zbl 1170.68420) Full Text: DOI Link
Wang, Yong; Jiang, Yi-Cheng Detection and parameter estimation of multicomponent LFM signal based on the cubic phase function. (English) Zbl 1143.94334 EURASIP J. Adv. Signal Process. 2008, Article ID 743985, 7 p. (2008). MSC: 94A13 PDFBibTeX XMLCite \textit{Y. Wang} and \textit{Y.-C. Jiang}, EURASIP J. Adv. Signal Process. 2008, Article ID 743985, 7 p. (2008; Zbl 1143.94334) Full Text: DOI OA License
Kieburtz, Richard B. Programmed strategies for program verification. (English) Zbl 1277.68057 Antoy, Sergio (ed.), Proceedings of the sixth international workshop on reduction strategies in rewriting and programming (WRS 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 10, 3-38 (2007). MSC: 68N30 68N18 68Q60 68T15 PDFBibTeX XMLCite \textit{R. B. Kieburtz}, Electron. Notes Theor. Comput. Sci. 174, No. 10, 3--38 (2007; Zbl 1277.68057) Full Text: DOI
Brady, Edwin Ivor, a proof engine. (English) Zbl 1226.68094 Horváth, Zoltán (ed.) et al., Implementation and application of functional languages. 18th international symposium, IFL 2006, Budapest, Hungary, September 4–6, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-74129-9/pbk). Lecture Notes in Computer Science 4449, 145-162 (2007). MSC: 68T15 68N18 PDFBibTeX XMLCite \textit{E. Brady}, Lect. Notes Comput. Sci. 4449, 145--162 (2007; Zbl 1226.68094) Full Text: DOI
Schmidt-Schauss, Manfred; Sabel, David; Schütz, Marko Deciding inclusion of set constants over infinite non-strict data structures. (English) Zbl 1146.68353 Theor. Inform. Appl. 41, No. 2, 225-241 (2007). MSC: 68N18 03B40 68Q25 68Q45 PDFBibTeX XMLCite \textit{M. Schmidt-Schauss} et al., Theor. Inform. Appl. 41, No. 2, 225--241 (2007; Zbl 1146.68353) Full Text: DOI Numdam EuDML Link
Jacobs, Bart; Smetsers, Sjaak; Schreur, Ronny Wichers Code-carrying theories. (English) Zbl 1121.68030 Formal Asp. Comput. 19, No. 2, 191-203 (2007). MSC: 68N30 68N18 68T15 PDFBibTeX XMLCite \textit{B. Jacobs} et al., Formal Asp. Comput. 19, No. 2, 191--203 (2007; Zbl 1121.68030) Full Text: DOI
Tejfel, Máté; Horváth, Zoltán; Kozsik, Tamás Temporal properties of Clean programs proven in Sparkle-T. (English) Zbl 1156.68337 Horváth, Zoltán (ed.), Central European functional programming school. First summer school, CEFP 2005, Budapest, Hungary, July 4–15, 2005. Revised selected lectures. Berlin: Springer (ISBN 978-3-540-46843-1/pbk). Lecture Notes in Computer Science 4164, 168-190 (2006). MSC: 68N18 68N30 68T15 PDFBibTeX XMLCite \textit{M. Tejfel} et al., Lect. Notes Comput. Sci. 4164, 168--190 (2006; Zbl 1156.68337) Full Text: DOI
Lucas, Salvador Proving termination of context-sensitive rewriting by transformation. (English) Zbl 1171.68514 Inf. Comput. 204, No. 12, 1782-1846 (2006). MSC: 68Q42 68Q60 PDFBibTeX XMLCite \textit{S. Lucas}, Inf. Comput. 204, No. 12, 1782--1846 (2006; Zbl 1171.68514) Full Text: DOI
Grelck, Clemens; Scholz, Sven-Bodo SAC – a functional array language for efficient multi-threaded execution. (English) Zbl 1102.68438 Int. J. Parallel Program. 34, No. 4, 383-427 (2006). MSC: 68N20 68N18 PDFBibTeX XMLCite \textit{C. Grelck} and \textit{S.-B. Scholz}, Int. J. Parallel Program. 34, No. 4, 383--427 (2006; Zbl 1102.68438) Full Text: DOI
Indermark, Klaus; Noll, Thomas Algebraic correctness proofs for compiling recursive function definitions with strictness information. (English) Zbl 1097.68025 Acta Inf. 43, No. 1, 1-43 (2006). MSC: 68N20 68Q55 68Q45 PDFBibTeX XMLCite \textit{K. Indermark} and \textit{T. Noll}, Acta Inf. 43, No. 1, 1--43 (2006; Zbl 1097.68025) Full Text: DOI
Harrington, Dana Uniqueness logic. (English) Zbl 1088.68035 Theor. Comput. Sci. 354, No. 1, 24-41 (2006). MSC: 68N18 03B47 03B70 03F52 PDFBibTeX XMLCite \textit{D. Harrington}, Theor. Comput. Sci. 354, No. 1, 24--41 (2006; Zbl 1088.68035) Full Text: DOI
Tejfel, Máté; Horváth, Zoltán; Kozsik, Tamás Extending the sparkle core language with object abstraction. (English) Zbl 1101.68454 Acta Cybern. 17, No. 2, 419-445 (2005). MSC: 68N18 68T15 PDFBibTeX XMLCite \textit{M. Tejfel} et al., Acta Cybern. 17, No. 2, 419--445 (2005; Zbl 1101.68454)
Kahl, Wolfram Basic pattern matching calculi: a fresh view on matching failure. (English) Zbl 1122.68395 Kameyama, Yukiyoshi (ed.) et al., Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21402-X/pbk). Lecture Notes in Computer Science 2998, 276-290 (2004). MSC: 68N18 PDFBibTeX XMLCite \textit{W. Kahl}, Lect. Notes Comput. Sci. 2998, 276--290 (2004; Zbl 1122.68395) Full Text: DOI
Achten, Peter; van Eekelen, Marko; Plasmeijer, Rinus Generic graphical user interfaces. (English) Zbl 1108.68344 Trinder, Phil (ed.) et al., Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8–11, 2003. Revised papers. Berlin: Springer (ISBN 3-540-23727-5/pbk). Lecture Notes in Computer Science 3145, 152-167 (2004). MSC: 68N15 68N18 PDFBibTeX XMLCite \textit{P. Achten} et al., Lect. Notes Comput. Sci. 3145, 152--167 (2004; Zbl 1108.68344) Full Text: DOI
Alimarine, Artem; Plasmeijer, Rinus A generic programming extension for Clean. (English) Zbl 1053.68547 Arts, Thomas (ed.) et al., Implementation of functional languages. 13th international workshop, IFL 2001, Stockholm, Sweden, September 24–26, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43537-9). Lect. Notes Comput. Sci. 2312, 168-185 (2002). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{A. Alimarine} and \textit{R. Plasmeijer}, Lect. Notes Comput. Sci. 2312, 168--185 (2002; Zbl 1053.68547) Full Text: Link
de Mol, Maarten; van Eekelen, Marko; Plasmeijer, Rinus Theorem proving for functional programmers. SPARKLE: a functional theorem prover. (English) Zbl 1053.68556 Arts, Thomas (ed.) et al., Implementation of functional languages. 13th international workshop, IFL 2001, Stockholm, Sweden, September 24–26, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43537-9). Lect. Notes Comput. Sci. 2312, 55-71 (2002). MSC: 68N18 68T15 PDFBibTeX XMLCite \textit{M. de Mol} et al., Lect. Notes Comput. Sci. 2312, 55--71 (2002; Zbl 1053.68556) Full Text: Link
da Silva, Carlos Alberto Lopes; Vieira Lima, Luciano; Ferreira, Wellesley Barros; Veiga, Antonio Claudio Paschoarelli; Yamanaka, Keiji; Iano, Yuzo Automatic learning composition based on polyphonic wave signals and musical histograms. (English) Zbl 1047.00012 Tatra Mt. Math. Publ. 23, 141-163 (2001). MSC: 00A69 68N18 68T05 PDFBibTeX XMLCite \textit{C. A. L. da Silva} et al., Tatra Mt. Math. Publ. 23, 141--163 (2001; Zbl 1047.00012)
Achten, Peter; Jones, Simon Peyton Porting the clean object I/O library to Haskell. (English) Zbl 0977.68728 Mohnen, Markus (ed.) et al., Implementation of functional languages. 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2011, 194-213 (2001). MSC: 68U99 68N18 68N15 PDFBibTeX XMLCite \textit{P. Achten} and \textit{S. P. Jones}, Lect. Notes Comput. Sci. 2011, 194--213 (2001; Zbl 0977.68728) Full Text: Link
Kirchner, Hélène; Moreau, Pierre-Etienne Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories. (English) Zbl 0979.68055 J. Funct. Program. 11, No. 2, 207-251 (2001). MSC: 68Q42 PDFBibTeX XMLCite \textit{H. Kirchner} and \textit{P.-E. Moreau}, J. Funct. Program. 11, No. 2, 207--251 (2001; Zbl 0979.68055)
Tremblay, G. Lenient evaluation is neither strict nor lazy. (English) Zbl 0981.68029 Comput. Lang. 26, No. 1, 43-66 (2000). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{G. Tremblay}, Comput. Lang. 26, No. 1, 43--66 (2000; Zbl 0981.68029) Full Text: DOI
Man, Junzheng; Liu, Guoqing; Li, Jian; Williams, Rob A quasi-parametric algorithm for synthetic aperture radar target feature extraction and imaging with angle diversity. (English) Zbl 0979.78005 Circuits Syst. Signal Process. 19, No. 4, 301-319 (2000). Reviewer: Walter Schempp (Siegen) MSC: 78A40 78A45 65T50 PDFBibTeX XMLCite \textit{J. Man} et al., Circuits Syst. Signal Process. 19, No. 4, 301--319 (2000; Zbl 0979.78005) Full Text: DOI
Köller, Jörg; Mohnen, Markus A new class of functions for abstract interpretation. (English) Zbl 0957.68032 Cortesi, Agostino (ed.) et al., Static analysis. 6th international symposium, SAS ’99, Venice, Italy, September 22-24, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1694, 248-263 (1999). MSC: 68N30 PDFBibTeX XMLCite \textit{J. Köller} and \textit{M. Mohnen}, Lect. Notes Comput. Sci. 1694, 248--263 (1999; Zbl 0957.68032)
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)
van Eekelen, Marko; Smetsers, Sjaak; Plasmeijer, Rinus Graph rewriting semantics for functional programming languages. (English) Zbl 0884.68079 Dalen, Dirk van (ed.) et al., Computer science logic. 10th international workshop, CSL ’96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21–27, 1996. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1258, 106-128 (1997). MSC: 68Q55 68N15 PDFBibTeX XMLCite \textit{M. van Eekelen} et al., Lect. Notes Comput. Sci. 1258, 106--128 (1997; Zbl 0884.68079)
van Bakel, Steffen Rank 2 intersection type assignment in term rewriting systems. (English) Zbl 0846.68052 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 26, No. 2, 141-166 (1996). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. van Bakel}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 26, No. 2, 141--166 (1996; Zbl 0846.68052)
Lannes, André; Anterrieu, Éric; Bouyoucef, Karim Fourier interpolation and reconstruction via Shannon-type techniques. II: Technical developments and applications. (English) Zbl 1147.78301 J. Mod. Opt. 43, No. 1, 105-138 (1996). MSC: 78A10 94A12 78M25 PDFBibTeX XMLCite \textit{A. Lannes} et al., J. Mod. Opt. 43, No. 1, 105--138 (1996; Zbl 1147.78301) Full Text: DOI
Ariola, Zena M.; Arvind Properties of a first-order functional language with sharing. (English) Zbl 0873.68016 Theor. Comput. Sci. 146, No. 1-2, 69-108 (1995). MSC: 68N15 68Q42 PDFBibTeX XMLCite \textit{Z. M. Ariola} and \textit{Arvind}, Theor. Comput. Sci. 146, No. 1--2, 69--108 (1995; Zbl 0873.68016) Full Text: DOI
Freedman, Avraham; Bose, Ranjan; Steinberg, Bernard D. Techniques to improve the CLEAN deconvolution algorithm. (English) Zbl 0860.94013 J. Franklin Inst. 332B, No. 5, 535-553 (1995). MSC: 94A13 PDFBibTeX XMLCite \textit{A. Freedman} et al., J. Franklin Inst. 332B, No. 5, 535--553 (1995; Zbl 0860.94013) Full Text: DOI OA License
Plasmeijer, M. J. CLEAN: A programming environment based on term graph rewriting. (English) Zbl 0910.68120 Corradini, Andrea (ed.) et al., Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA ’95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 2, 7 p. (1995). MSC: 68Q55 68N15 PDFBibTeX XMLCite \textit{M. J. Plasmeijer}, in: Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA '95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995. Amsterdam: Elsevier. 7 p. (1995; Zbl 0910.68120) Full Text: Link
van Bakel, Steffen Partial intersection type assignment in applicative term rewriting systems. (English) Zbl 0797.68091 Bezem, Marc (ed.) et al., Typed Lambda calculi and applications. International conference, TLCA ’93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 664, 29-44 (1993). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{S. van Bakel}, Lect. Notes Comput. Sci. 664, 29--44 (1993; Zbl 0797.68091)
van Fekelen, M. C. J. D.; Plasmeijer, M. J.; Smetsers, J. E. W. Parallel graph rewriting on loosely coupled machine architectures. (English) Zbl 1507.68159 Kaplan, Stéphane (ed.) et al., Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11–14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 516, 354-369 (1991). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. C. J. D. van Fekelen} et al., Lect. Notes Comput. Sci. 516, 354--369 (1991; Zbl 1507.68159) Full Text: DOI Link
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)
Kennaway, Richard Implementing term rewrite languages in DACTL. (English) Zbl 0698.68013 Theor. Comput. Sci. 72, No. 2-3, 225-249 (1990). MSC: 68Q60 68Q65 03D03 68W30 PDFBibTeX XMLCite \textit{R. Kennaway}, Theor. Comput. Sci. 72, No. 2--3, 225--249 (1990; Zbl 0698.68013) Full Text: DOI
Brus, T. H.; van Eekelen, M. C. J. D.; van Leer, M. O.; Plasmeijer, M. J. Clean. A language for functional graph rewriting. (English) Zbl 0633.68003 Functional programming languages and computer architecture, Proc. 3rd Conf., Portland/Oreg. 1987, Lect. Notes Comput. Sci. 274, 364-384 (1987). MSC: 68N01 PDFBibTeX XML