Mackay, Julian; Potanin, Alex; Aldrich, Jonathan; Groves, Lindsay Syntactically restricting bounded polymorphism for decidable subtyping. (English) Zbl 1476.68041 Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 125-144 (2020). MSC: 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{J. Mackay} et al., Lect. Notes Comput. Sci. 12470, 125--144 (2020; Zbl 1476.68041) Full Text: DOI OpenURL
Mourad, Benjamin; Cimini, Matteo System description: lang-n-change – a tool for transforming languages. (English) Zbl 07368092 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 198-214 (2020). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{B. Mourad} and \textit{M. Cimini}, Lect. Notes Comput. Sci. 12073, 198--214 (2020; Zbl 07368092) Full Text: DOI OpenURL
Okura, Rui; Kameyama, Yukiyoshi Language-integrated query with nested data structures and grouping. (English) Zbl 07368089 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 139-158 (2020). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{R. Okura} and \textit{Y. Kameyama}, Lect. Notes Comput. Sci. 12073, 139--158 (2020; Zbl 07368089) Full Text: DOI OpenURL
Cimini, Matteo On the effectiveness of higher-order logic programming in language-oriented programming. (English) Zbl 07368087 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 106-123 (2020). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{M. Cimini}, Lect. Notes Comput. Sci. 12073, 106--123 (2020; Zbl 07368087) Full Text: DOI OpenURL
Chu, Xiaomin; Xi, Xuefeng; Jiang, Feng; Xu, Sheng; Zhu, Qiaoming; Zhou, Guodong Macro discourse structure representation schema and corpus construction. (Chinese. English summary) Zbl 1449.68125 J. Softw. 31, No. 2, 321-343 (2020). MSC: 68T50 PDF BibTeX XML Cite \textit{X. Chu} et al., J. Softw. 31, No. 2, 321--343 (2020; Zbl 1449.68125) Full Text: DOI OpenURL
Czajka, Łukasz An operational interpretation of coinductive types. (English) Zbl 07168147 Log. Methods Comput. Sci. 16, No. 1, Paper No. 11, 49 p. (2020). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{Ł. Czajka}, Log. Methods Comput. Sci. 16, No. 1, Paper No. 11, 49 p. (2020; Zbl 07168147) Full Text: arXiv OpenURL
Filiot, Emmanuel; Gauwin, Olivier; Lhote, Nathan Logical and algebraic characterizations of rational transductions. (English) Zbl 1440.68173 Log. Methods Comput. Sci. 15, No. 4, Paper No. 16, 42 p. (2019). Reviewer: Peter Kostolányi (Bratislava) MSC: 68Q70 03D05 PDF BibTeX XML Cite \textit{E. Filiot} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 16, 42 p. (2019; Zbl 1440.68173) Full Text: arXiv OpenURL
Berger, Ulrich; Jones, Alison; Seisenberger, Monika Program extraction applied to monadic parsing. (English) Zbl 1452.68045 J. Log. Comput. 29, No. 4, 487-518 (2019). MSC: 68N30 03B70 68N18 68T50 68V15 PDF BibTeX XML Cite \textit{U. Berger} et al., J. Log. Comput. 29, No. 4, 487--518 (2019; Zbl 1452.68045) Full Text: DOI Link OpenURL
Grappe, Amandine; Sarma, Sridevi V.; Sacré, Pierre; González-Martínez, Jorge; Liégeois-Chauvel, Catherine; Alario, F.-Xavier An intracerebral exploration of functional connectivity during word production. (English) Zbl 1414.92169 J. Comput. Neurosci. 46, No. 1, 125-140 (2019). MSC: 92C55 92B20 92C20 PDF BibTeX XML Cite \textit{A. Grappe} et al., J. Comput. Neurosci. 46, No. 1, 125--140 (2019; Zbl 1414.92169) Full Text: DOI Link OpenURL
Mihov, Stoyan; Schulz, Klaus U. Finite-state techniques. Automata, transducers and bimachines. (English) Zbl 1465.68006 Cambridge Tracts in Theoretical Computer Science 60. Cambridge: Cambridge University Press (ISBN 978-1-108-48541-8/hbk; 978-1-108-75694-5/ebook). x, 304 p. (2019). Reviewer: Andreas Maletti (Leipzig) MSC: 68-02 20M35 68N18 68Q42 68Q45 68Q70 68T50 68W01 PDF BibTeX XML Cite \textit{S. Mihov} and \textit{K. U. Schulz}, Finite-state techniques. Automata, transducers and bimachines. Cambridge: Cambridge University Press (2019; Zbl 1465.68006) Full Text: DOI OpenURL
Cai, Jia; Tang, Yi A new randomized Kaczmarz based kernel canonical correlation analysis algorithm with applications to information retrieval. (English) Zbl 1434.68146 Neural Netw. 98, 178-191 (2018). MSC: 68P20 46E22 62H20 62R07 PDF BibTeX XML Cite \textit{J. Cai} and \textit{Y. Tang}, Neural Netw. 98, 178--191 (2018; Zbl 1434.68146) Full Text: DOI OpenURL
Siskind, Jeffrey Mark; Pearlmutter, Barak A. Divide-and-conquer checkpointing for arbitrary programs with no user annotation. (English) Zbl 1455.65037 Optim. Methods Softw. 33, No. 4-6, 1288-1330 (2018); correction ibid. 36, No. 6, 1317-1318 (2021). MSC: 65D25 68N18 PDF BibTeX XML Cite \textit{J. M. Siskind} and \textit{B. A. Pearlmutter}, Optim. Methods Softw. 33, No. 4--6, 1288--1330 (2018; Zbl 1455.65037) Full Text: DOI arXiv OpenURL
Hanson, Richard J.; Hopkins, Tim Remark on Algorithm 539: A modern Fortran reference implementation for carefully computing the Euclidean norm. (English) Zbl 1484.65098 ACM Trans. Math. Softw. 44, No. 3, Article No. 24, 23 p. (2018). MSC: 65Fxx 15A60 65Y15 PDF BibTeX XML Cite \textit{R. J. Hanson} and \textit{T. Hopkins}, ACM Trans. Math. Softw. 44, No. 3, Article No. 24, 23 p. (2018; Zbl 1484.65098) Full Text: DOI OpenURL
Kurgaev, A. F. New definition of the web ontology language OWL2. (Russian. English summary) Zbl 1399.68239 Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2018, No. 3, 22-35 (2018). MSC: 68T30 68M11 PDF BibTeX XML Cite \textit{A. F. Kurgaev}, Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2018, No. 3, 22--35 (2018; Zbl 1399.68239) Full Text: DOI OpenURL
Berkemer, Sarah J.; Höner zu Siederdissen, Christian; Stadler, Peter F. Algebraic dynamic programming on trees. (English) Zbl 1461.68094 Algorithms (Basel) 10, No. 4, Paper No. 135, 31 p. (2017). MSC: 68Q42 68N18 90C39 PDF BibTeX XML Cite \textit{S. J. Berkemer} et al., Algorithms (Basel) 10, No. 4, Paper No. 135, 31 p. (2017; Zbl 1461.68094) Full Text: DOI OpenURL
Giannini, Paola; Shaqiri, Albert A provably correct compilation of functional languages into scripting languages. (English) Zbl 1424.68028 Sci. Ann. Comput. Sci. 27, No. 1, 19-76 (2017). MSC: 68N15 68N18 68N20 PDF BibTeX XML Cite \textit{P. Giannini} and \textit{A. Shaqiri}, Sci. Ann. Comput. Sci. 27, No. 1, 19--76 (2017; Zbl 1424.68028) Full Text: DOI OpenURL
Jifeng, He; Qin, Li A hybrid relational modelling language. (English) Zbl 1485.68162 Gibson-Robinson, Thomas (ed.) et al., Concurrency, security, and puzzles. Essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10160, 124-143 (2017). MSC: 68Q85 68N30 68Q55 93C30 PDF BibTeX XML Cite \textit{H. Jifeng} and \textit{L. Qin}, Lect. Notes Comput. Sci. 10160, 124--143 (2017; Zbl 1485.68162) Full Text: DOI OpenURL
Sestoft, Peter [Hallenberg, Niels] Programming language concepts. With a chapter by Niels Hallenberg. 2nd edition. (English) Zbl 1401.68006 Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-319-60788-7/pbk; 978-3-319-60789-4/ebook). xv, 341 p. (2017). MSC: 68-01 68N15 68N18 68N20 PDF BibTeX XML Cite \textit{P. Sestoft}, Programming language concepts. With a chapter by Niels Hallenberg. 2nd edition. Cham: Springer (2017; Zbl 1401.68006) Full Text: DOI OpenURL
Devriese, Dominique; Patrignani, Marco; Piessens, Frank; Keuchel, Steven Modular, fully-abstract compilation by approximate back-translation. (English) Zbl 1398.68089 Log. Methods Comput. Sci. 13, No. 4, Paper No. 2, 38 p. (2017). MSC: 68N20 68N18 68T15 PDF BibTeX XML Cite \textit{D. Devriese} et al., Log. Methods Comput. Sci. 13, No. 4, Paper No. 2, 38 p. (2017; Zbl 1398.68089) Full Text: DOI arXiv OpenURL
Loukanova, Roussanka An approach to functional formal models of constraint-based lexicalized grammar. (English) Zbl 1375.68115 Fundam. Inform. 152, No. 4, 341-372 (2017). MSC: 68T50 91F20 PDF BibTeX XML Cite \textit{R. Loukanova}, Fundam. Inform. 152, No. 4, 341--372 (2017; Zbl 1375.68115) Full Text: DOI OpenURL
Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao Beginner’s Luck: a language for property-based generators. (English) Zbl 1380.68096 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 114-129 (2017). MSC: 68N18 PDF BibTeX XML Cite \textit{L. Lampropoulos} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 114--129 (2017; Zbl 1380.68096) Full Text: DOI arXiv OpenURL
Lin, Yuhui; Grov, Gudmund; Arthan, Rob Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC. (English) Zbl 1451.68324 J. Formaliz. Reason. 9, No. 2, 69-130 (2016). MSC: 68V15 68N18 PDF BibTeX XML Cite \textit{Y. Lin} et al., J. Formaliz. Reason. 9, No. 2, 69--130 (2016; Zbl 1451.68324) Full Text: DOI arXiv OpenURL
Geron, Bram; Levy, Paul Blain Iteration and labelled iteration. (English) Zbl 1394.68061 Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 127-146 (2016). MSC: 68N18 68Q55 PDF BibTeX XML Cite \textit{B. Geron} and \textit{P. B. Levy}, Electron. Notes Theor. Comput. Sci. 325, 127--146 (2016; Zbl 1394.68061) Full Text: DOI OpenURL
New, Max S.; Bowman, William J.; Ahmed, Amal Fully abstract compilation via universal embedding. (English) Zbl 1361.68044 Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 103-116 (2016). MSC: 68N18 68N20 68Q55 PDF BibTeX XML Cite \textit{M. S. New} et al., in: Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP '16, Nara, Japan, September 18--22, 2016. New York, NY: Association for Computing Machinery (ACM). 103--116 (2016; Zbl 1361.68044) Full Text: DOI OpenURL
Bekki, Daisuke; Kawazoe, Ai Implementing variable vectors in a CCG parser. (English) Zbl 1482.68116 Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 52-67 (2016). MSC: 68Q42 03B65 68N18 68T50 PDF BibTeX XML Cite \textit{D. Bekki} and \textit{A. Kawazoe}, Lect. Notes Comput. Sci. 10054, 52--67 (2016; Zbl 1482.68116) Full Text: DOI OpenURL
Zhang, Kuize; Zhang, Lijun; Su, Rong A weighted pair graph representation for reconstructibility of Boolean control networks. (English) Zbl 1350.93048 SIAM J. Control Optim. 54, No. 6, 3040-3060 (2016). MSC: 93C30 68Q45 94C15 92B99 68Q80 PDF BibTeX XML Cite \textit{K. Zhang} et al., SIAM J. Control Optim. 54, No. 6, 3040--3060 (2016; Zbl 1350.93048) Full Text: DOI arXiv OpenURL
Hutton, Graham Programming in Haskell. 2nd revised and extended edition. (English) Zbl 1344.68001 Cambridge: Cambridge University Press (ISBN 978-0-521-62622-1/pbk; 978-0-511-81367-2/ebook). xvi, 304 p. (2016). MSC: 68-01 68N15 68N18 PDF BibTeX XML Cite \textit{G. Hutton}, Programming in Haskell. 2nd revised and extended edition. Cambridge: Cambridge University Press (2016; Zbl 1344.68001) Full Text: DOI OpenURL
Ahn, Ki Yung; Vezzosi, Andrea Executable relational specifications of polymorphic type systems using Prolog. (English) Zbl 1475.68052 Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9613, 109-125 (2016). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{K. Y. Ahn} and \textit{A. Vezzosi}, Lect. Notes Comput. Sci. 9613, 109--125 (2016; Zbl 1475.68052) Full Text: DOI OpenURL
Disney, Tim; Flanagan, Cormac Game semantics for type soundness. (English) Zbl 1401.68172 Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 104-114 (2015). MSC: 68Q55 68N18 91A80 PDF BibTeX XML Cite \textit{T. Disney} and \textit{C. Flanagan}, in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 104--114 (2015; Zbl 1401.68172) Full Text: DOI OpenURL
Bahr, Patrick; Berthold, Jost; Elsman, Martin Certified symbolic management of financial multi-party contracts. (English) Zbl 1360.68356 Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 315-327 (2015). MSC: 68N30 68N18 68Q55 91B40 91G99 PDF BibTeX XML Cite \textit{P. Bahr} et al., in: Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP '15, Vancouver, Canada, September 1--3, 2015. New York, NY: Association for Computing Machinery (ACM). 315--327 (2015; Zbl 1360.68356) Full Text: DOI OpenURL
Szabó, Gyula I.; Benczúr, András Functional dependencies on extended relations defined by regular languages. (English) Zbl 1319.68076 Ann. Math. Artif. Intell. 73, No. 1-2, 205-243 (2015). MSC: 68P15 68Q45 PDF BibTeX XML Cite \textit{G. I. Szabó} and \textit{A. Benczúr}, Ann. Math. Artif. Intell. 73, No. 1--2, 205--243 (2015; Zbl 1319.68076) Full Text: DOI OpenURL
Schoepe, Daniel; Hedin, Daniel; Sabelfeld, Andrei SeLINQ: tracking information across application-database boundaries. (English) Zbl 1346.68065 Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 25-38 (2014). MSC: 68N30 68N18 68P15 68Q65 PDF BibTeX XML Cite \textit{D. Schoepe} et al., in: Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP '14, Gothenburg, Sweden, September 1--3, 2014. New York, NY: Association for Computing Machinery (ACM). 25--38 (2014; Zbl 1346.68065) Full Text: DOI OpenURL
Tseng, Fu-Kuo; Chen, Rong-Jaye; Lin, Bao-Shuh Paul Towards symmetric functional encryption for regular languages with predicate privacy. (English) Zbl 1371.68168 Yoshida, Maki (ed.) et al., Advances in information and computer security. 9th international workshop on security, IWSEC 2014, Hirosaki, Japan, August 27–29, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-09842-5/pbk). Lecture Notes in Computer Science 8639, 266-275 (2014). MSC: 68Q45 68P25 94A60 PDF BibTeX XML Cite \textit{F.-K. Tseng} et al., Lect. Notes Comput. Sci. 8639, 266--275 (2014; Zbl 1371.68168) Full Text: DOI Link OpenURL
Alnæs, Martin S.; Logg, Anders; Ølgaard, Kristian B.; Rognes, Marie E.; Wells, Garth N. Unified form language: a domain-specific language for weak formulations of partial differential equations. (English) Zbl 1308.65175 ACM Trans. Math. Softw. 40, No. 2, Article No. 1, 37 p. (2014). MSC: 65M99 65N99 65M60 65N30 65D25 68W30 68N15 35J05 35J25 65Y04 PDF BibTeX XML Cite \textit{M. S. Alnæs} et al., ACM Trans. Math. Softw. 40, No. 2, Article No. 1, 37 p. (2014; Zbl 1308.65175) Full Text: DOI arXiv OpenURL
Orchard, Dominic Book review of: J. van Eijck and C. Unger, Computational semantics with functional programming. (English) Zbl 1305.00056 J. Funct. Program. 24, No. 4, 524-527 (2014). MSC: 00A17 68-02 68T50 03B65 68N18 91F20 PDF BibTeX XML Cite \textit{D. Orchard}, J. Funct. Program. 24, No. 4, 524--527 (2014; Zbl 1305.00056) Full Text: DOI OpenURL
Wadler, Philip Propositions as sessions. (English) Zbl 1307.68025 J. Funct. Program. 24, No. 2-3, 384-418 (2014). MSC: 68N18 03B70 PDF BibTeX XML Cite \textit{P. Wadler}, J. Funct. Program. 24, No. 2--3, 384--418 (2014; Zbl 1307.68025) Full Text: DOI OpenURL
Swamy, Nikhil; Fournet, Cedric; Rastogi, Aseem; Bhargavan, Karthikeyan; Chen, Juan; Strub, Pierre-Yves; Bierman, Gavin Gradual typing embedded securely in JavaScript. (English) Zbl 1284.68108 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 425-437 (2014). MSC: 68N15 68N18 68N20 68Q55 03B70 PDF BibTeX XML Cite \textit{N. Swamy} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 425--437 (2014; Zbl 1284.68108) Full Text: DOI OpenURL
Aït-Kaci, Hassan An abstract, reusable, and extensible programming language design architecture. (English) Zbl 1397.68023 Tannen, Val (ed.) et al., In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman. Berlin: Springer (ISBN 978-3-642-41659-0/pbk; 978-3-642-41660-6/ebook). Lecture Notes in Computer Science 8000, 112-166 (2013). MSC: 68N15 68N18 68Q55 PDF BibTeX XML Cite \textit{H. Aït-Kaci}, Lect. Notes Comput. Sci. 8000, 112--166 (2013; Zbl 1397.68023) Full Text: DOI OpenURL
Clerici, Silvia; Zoltan, Cristina; Prestigiacomo, Guillermo Graphical and incremental type inference. A graph transformation approach. (English) Zbl 1360.68320 High.-Order Symb. Comput. 26, No. 1-4, 29-62 (2013). MSC: 68N18 68Q42 PDF BibTeX XML Cite \textit{S. Clerici} et al., High.-Order Symb. Comput. 26, No. 1--4, 29--62 (2013; Zbl 1360.68320) Full Text: DOI Link OpenURL
Crole, Roy L.; Nebel, Frank Nominal lambda calculus: an internal language for FM-Cartesian closed categories. (English) Zbl 1334.68042 Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 93-117 (2013). MSC: 68N18 03B40 18D15 68Q55 PDF BibTeX XML Cite \textit{R. L. Crole} and \textit{F. Nebel}, Electron. Notes Theor. Comput. Sci. 298, 93--117 (2013; Zbl 1334.68042) Full Text: DOI OpenURL
Marchenkov, S. S. Definability in the language of functional equations of a countable-valued logic. (English. Russian original) Zbl 1312.03025 Discrete Math. Appl. 23, No. 5-6, 451-462 (2013); translation from Diskretn. Mat. 25, No. 4, 13-23 (2013). MSC: 03B50 PDF BibTeX XML Cite \textit{S. S. Marchenkov}, Discrete Math. Appl. 23, No. 5--6, 451--462 (2013; Zbl 1312.03025); translation from Diskretn. Mat. 25, No. 4, 13--23 (2013) Full Text: DOI OpenURL
Lorenzen, Florian; Erdweg, Sebastian Modular and automated type-soundness verification for language extensions. (English) Zbl 1323.68218 Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 331-342 (2013). MSC: 68N30 68N15 68N18 68Q60 PDF BibTeX XML Cite \textit{F. Lorenzen} and \textit{S. Erdweg}, in: Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP '13, Boston, MA, USA, September 25--27, 2013. New York, NY: Association for Computing Machinery (ACM). 331--342 (2013; Zbl 1323.68218) Full Text: DOI Link OpenURL
Hidaka, Soichiro; Asada, Kazuyuki; Hu, Zhenjiang; Kato, Hiroyuki; Nakano, Keisuke Structural recursion for querying ordered graphs. (English) Zbl 1323.68241 Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 305-318 (2013). MSC: 68P05 68N18 68R10 PDF BibTeX XML Cite \textit{S. Hidaka} et al., in: Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP '13, Boston, MA, USA, September 25--27, 2013. New York, NY: Association for Computing Machinery (ACM). 305--318 (2013; Zbl 1323.68241) Full Text: DOI OpenURL
Svenningsson, Josef David; Svensson, Bo Joel Simple and compositional reification of monadic embedded languages. (English) Zbl 1323.68165 Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 299-304 (2013). MSC: 68N18 PDF BibTeX XML Cite \textit{J. D. Svenningsson} and \textit{B. J. Svensson}, in: Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP '13, Boston, MA, USA, September 25--27, 2013. New York, NY: Association for Computing Machinery (ACM). 299--304 (2013; Zbl 1323.68165) Full Text: DOI OpenURL
McDonell, Trevor L.; Chakravarty, Manuel M. T.; Keller, Gabriele; Lippmeier, Ben Optimising purely functional GPU programs. (English) Zbl 1323.68137 Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 49-60 (2013). MSC: 68N18 PDF BibTeX XML Cite \textit{T. L. McDonell} et al., in: Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP '13, Boston, MA, USA, September 25--27, 2013. New York, NY: Association for Computing Machinery (ACM). 49--60 (2013; Zbl 1323.68137) Full Text: DOI Link OpenURL
Brady, Edwin Idris, a general-purpose dependently typed programming language: design and implementation. (English) Zbl 1295.68059 J. Funct. Program. 23, No. 5, 552-593 (2013). Reviewer: Valentina Dagienë (Vilnius) MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{E. Brady}, J. Funct. Program. 23, No. 5, 552--593 (2013; Zbl 1295.68059) Full Text: DOI OpenURL
Rager, David L.; Hunt, Warren A. jun.; Kaufmann, Matt A parallelized theorem prover for a logic with parallel execution. (English) Zbl 1317.68230 Blazy, Sandrine (ed.) et al., Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22–26, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39633-5/pbk). Lecture Notes in Computer Science 7998, 435-450 (2013). MSC: 68T15 PDF BibTeX XML Cite \textit{D. L. Rager} et al., Lect. Notes Comput. Sci. 7998, 435--450 (2013; Zbl 1317.68230) Full Text: DOI OpenURL
Ripley, David Sorting out the sorites. (English) Zbl 1272.03039 Tanaka, Koji (ed.) et al., Paraconsistency. Logic and applications. Selected papers of the 4th world congress on paraconsistency, Melbourne, Australia, 2008. Berlin: Springer (ISBN 978-94-007-4437-0/hbk). Logic, Epistemology, and the Unity of Science 26, 329-348 (2013). MSC: 03A05 03B53 PDF BibTeX XML Cite \textit{D. Ripley}, Log. Epistemol. Unity Sci. 26, 329--348 (2013; Zbl 1272.03039) Full Text: DOI OpenURL
Pientka, Brigitte An insider’s look at LF type reconstruction: everything you (n)ever wanted to know. (English) Zbl 1262.68030 J. Funct. Program. 23, No. 1, 1-37 (2013). MSC: 68N18 68N15 68N30 03B70 PDF BibTeX XML Cite \textit{B. Pientka}, J. Funct. Program. 23, No. 1, 1--37 (2013; Zbl 1262.68030) Full Text: DOI OpenURL
Sasano, Isao; Goto, Takumi An approach to completing variable names for implicitly typed functional languages. (English) Zbl 1360.68340 High.-Order Symb. Comput. 25, No. 1, 127-163 (2012). MSC: 68N18 68N30 PDF BibTeX XML Cite \textit{I. Sasano} and \textit{T. Goto}, High.-Order Symb. Comput. 25, No. 1, 127--163 (2012; Zbl 1360.68340) Full Text: DOI OpenURL
Martirosyan, G. A. On minimality of one set of built-in functions for functional programming languages. (English) Zbl 1304.68027 Proc. Yerevan State Univ., Phys. Math. Sci. 2012, No. 2(228), 42-49 (2012). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{G. A. Martirosyan}, Proc. Yerevan State Univ., Phys. Math. Sci. 2012, No. 2(228), 42--49 (2012; Zbl 1304.68027) OpenURL
Martirosyan, G. A. On one complete and minimal set of built-in constants for Backus FP system. (English) Zbl 1301.68083 Proc. Yerevan State Univ., Phys. Math. Sci. 2012, No. 3(229), 44-51 (2012). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{G. A. Martirosyan}, Proc. Yerevan State Univ., Phys. Math. Sci. 2012, No. 3(229), 44--51 (2012; Zbl 1301.68083) OpenURL
Zombori, Zsolt; Csorba, János; Szeredi, Péter Static type inference for the Q language using constraint logic programming. (English) Zbl 1281.68085 Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 119-129, electronic only (2012). MSC: 68N30 68N17 68N18 PDF BibTeX XML Cite \textit{Z. Zombori} et al., LIPIcs -- Leibniz Int. Proc. Inform. 17, 119--129 (2012; Zbl 1281.68085) Full Text: DOI OpenURL
Galkin, O. V. Formalization of the functional programming languages based on lambda calculus. (Ukrainian. English summary) Zbl 1289.68009 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 3, 123-128 (2012). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{O. V. Galkin}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 3, 123--128 (2012; Zbl 1289.68009) OpenURL
Bochkarev, V. V.; Lerner, E. Yu. The Zipf law for random texts with unequal letter probabilities and the Pascal pyramid. (English. Russian original) Zbl 1262.68170 Russ. Math. 56, No. 12, 25-27 (2012); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2012, No. 12, 30-33 (2012). MSC: 68T50 60C05 68R15 PDF BibTeX XML Cite \textit{V. V. Bochkarev} and \textit{E. Yu. Lerner}, Russ. Math. 56, No. 12, 25--27 (2012; Zbl 1262.68170); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2012, No. 12, 30--33 (2012) Full Text: DOI arXiv OpenURL
Baral, Chitta; Dzifcak, Juraj; Gonzalez, Marcos A.; Gottesman, Aaron Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them. (English) Zbl 1261.68041 Theory Pract. Log. Program. 12, No. 4-5, 775-791 (2012). MSC: 68N18 68T30 68T35 PDF BibTeX XML Cite \textit{C. Baral} et al., Theory Pract. Log. Program. 12, No. 4--5, 775--791 (2012; Zbl 1261.68041) Full Text: DOI OpenURL
Shalack, Vladimir On relational and functional languages. (English) Zbl 1261.03053 Log. Log. Philos. 21, No. 1, 25-32 (2012). MSC: 03A05 PDF BibTeX XML Cite \textit{V. Shalack}, Log. Log. Philos. 21, No. 1, 25--32 (2012; Zbl 1261.03053) OpenURL
Chikalanov, Alexandre; Stoyanov, Stoyan; Lyubenova, Mariyana; Lyubenova, Velichka Application of ontologies and semantic web for facilitation of ecology. (English) Zbl 1262.92045 C. R. Acad. Bulg. Sci. 65, No. 5, 599-608 (2012). Reviewer: Angela Slavova (Sofia) MSC: 92D40 92-04 92C42 PDF BibTeX XML Cite \textit{A. Chikalanov} et al., C. R. Acad. Bulg. Sci. 65, No. 5, 599--608 (2012; Zbl 1262.92045) OpenURL
De Lamadrid, James Gil; Zimmerman, Jill Core FOBS: A hybrid functional and object-oriented language. (English) Zbl 1248.68137 Comput. Lang. Syst. Struct. 38, No. 3, 214-241 (2012). MSC: 68N19 68N18 PDF BibTeX XML Cite \textit{J. G. De Lamadrid} and \textit{J. Zimmerman}, Comput. Lang. Syst. Struct. 38, No. 3, 214--241 (2012; Zbl 1248.68137) Full Text: DOI OpenURL
Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David Semantic subtyping with an SMT solver. (English) Zbl 1248.68131 J. Funct. Program. 22, No. 1, 31-105 (2012). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{G. M. Bierman} et al., J. Funct. Program. 22, No. 1, 31--105 (2012; Zbl 1248.68131) Full Text: DOI OpenURL
Grattage, Jonathan An overview of QML with a concrete implementation in Haskell. (English) Zbl 1347.68053 Coecke, Bob (ed.) et al., Proceedings of the 5th international workshop on quantum physics and logic and the 4th workshop on developments in computational models (QPL/DCM 2008), Reykjavik, Iceland, July 12–13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 270, No. 1, 165-174 (2011). MSC: 68N18 68N15 68N20 68Q55 PDF BibTeX XML Cite \textit{J. Grattage}, Electron. Notes Theor. Comput. Sci. 270, No. 1, 165--174 (2011; Zbl 1347.68053) Full Text: DOI OpenURL
Jeannin, Jean-Baptiste Capsules and closures. (English) Zbl 1342.68088 Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 191-213 (2011). MSC: 68N30 68N15 68N18 68N19 68Q55 PDF BibTeX XML Cite \textit{J.-B. Jeannin}, Electron. Notes Theor. Comput. Sci. 276, 191--213 (2011; Zbl 1342.68088) Full Text: DOI OpenURL
Ahmed, Amal; Blume, Matthias An equivalence-preserving CPS translation via multi-language semantics. (English) Zbl 1323.68088 Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 431-444 (2011). MSC: 68N18 68N20 68Q55 68Q60 PDF BibTeX XML Cite \textit{A. Ahmed} and \textit{M. Blume}, in: Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP '11, Tokyo, Japan, September 19--21, 2011. New York, NY: Association for Computing Machinery (ACM). 431--444 (2011; Zbl 1323.68088) Full Text: DOI Link OpenURL
Vardoulakis, Dimitrios; Shivers, Olin Pushdown flow analysis of first-class control. (English) Zbl 1323.68169 Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 69-80 (2011). MSC: 68N18 68Q60 PDF BibTeX XML Cite \textit{D. Vardoulakis} and \textit{O. Shivers}, in: Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP '11, Tokyo, Japan, September 19--21, 2011. New York, NY: Association for Computing Machinery (ACM). 69--80 (2011; Zbl 1323.68169) Full Text: DOI OpenURL
Neis, Georg; Dreyer, Derek; Rossberg, Andreas Non-parametric parametricity. (English) Zbl 1262.68026 J. Funct. Program. 21, No. 4-5, 497-562 (2011). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{G. Neis} et al., J. Funct. Program. 21, No. 4--5, 497--562 (2011; Zbl 1262.68026) Full Text: DOI OpenURL
Vaconcelos, Vasco T. Sessions, from types to programming languages. (English) Zbl 1261.68036 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 103, 54-73 (2011). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{V. T. Vaconcelos}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 103, 54--73 (2011; Zbl 1261.68036) OpenURL
Király, Roland; Kitlei, Róbert Metrics based optimization of functional source code. (English) Zbl 1265.68031 Ann. Math. Inform. 38, 59-74 (2011). MSC: 68N19 PDF BibTeX XML Cite \textit{R. Király} and \textit{R. Kitlei}, Ann. Math. Inform. 38, 59--74 (2011; Zbl 1265.68031) Full Text: Link OpenURL
Michels, Gerard; Joosten, Sebastiaan; van der Woude, Jaap; Joosten, Stef Ampersand. Applying relation algebra in practice. (English) Zbl 1329.68066 de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 280-293 (2011). MSC: 68N18 03G15 68Q60 PDF BibTeX XML Cite \textit{G. Michels} et al., Lect. Notes Comput. Sci. 6663, 280--293 (2011; Zbl 1329.68066) Full Text: DOI OpenURL
Sturm, Oliver Functional programming in C#. Classic programming techniques for modern projects. (English) Zbl 1225.68059 Hoboken, NJ: John Wiley & Sons (ISBN 978-0-470-74458-1/pbk). xvii, 270 p. (2011). MSC: 68N18 68-01 68N15 PDF BibTeX XML Cite \textit{O. Sturm}, Functional programming in C\#. Classic programming techniques for modern projects. Hoboken, NJ: John Wiley \& Sons (2011; Zbl 1225.68059) OpenURL
Dowek, Gilles; Lévy, Jean-Jacques Introduction to the theory of programming languages. (English) Zbl 1213.68160 Undergraduate Topics in Computer Science. London: Springer (ISBN 978-0-85729-075-5/pbk; 978-0-85729-076-2/ebook). xi, 96 p. (2011). Reviewer: Antonín Říha (Praha) MSC: 68N15 68-01 68N18 68N20 68N30 PDF BibTeX XML Cite \textit{G. Dowek} and \textit{J.-J. Lévy}, Introduction to the theory of programming languages. London: Springer (2011; Zbl 1213.68160) Full Text: DOI OpenURL
Buisson, Jérémy; Dagnat, Fabien ReCaml: execution state as the cornerstone of reconfigurations. (English) Zbl 1323.68060 Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 27-38 (2010). MSC: 68N01 68N15 68N18 PDF BibTeX XML Cite \textit{J. Buisson} and \textit{F. Dagnat}, in: Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP '10, Baltimore, MD, USA, September 27--29, 2010. New York, NY: Association for Computing Machinery (ACM). 27--38 (2010; Zbl 1323.68060) Full Text: DOI OpenURL
van Eijck, Jan; Unger, Christina Computational semantics with functional programming. (English) Zbl 1305.68017 Cambridge: Cambridge University Press (ISBN 978-0-521-76030-0/hbk; 978-0-521-75760-7/pbk; 978-0-511-77837-7/ebook). xv, 405 p. (2010). MSC: 68-02 68T50 03B65 68N18 91F20 PDF BibTeX XML Cite \textit{J. van Eijck} and \textit{C. Unger}, Computational semantics with functional programming. Cambridge: Cambridge University Press (2010; Zbl 1305.68017) Full Text: DOI OpenURL
Loverdos, Christos K. K.; Syropoulos, Apostolos Steps in Scala. An introduction to object-functional programming. (English) Zbl 1246.68005 Cambridge: Cambridge University Press (ISBN 978-0-521-74758-5/pbk; 978-0-521-76217-5/hbk; 978-0-511-79598-5/ebook). xvii, 485 p. (2010). Reviewer: Stefan Meyer (Berlin) MSC: 68-01 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{C. K. K. Loverdos} and \textit{A. Syropoulos}, Steps in Scala. An introduction to object-functional programming. Cambridge: Cambridge University Press (2010; Zbl 1246.68005) Full Text: DOI OpenURL
Wilhelm, Reinhard; Seidl, Helmut Compiler design. Virtual machines. (English) Zbl 1209.68117 Berlin: Springer (ISBN 978-3-642-14908-5/hbk; 978-3-642-14909-2/ebook). xiii, 187 p. (2010). Reviewer: Stefan Meyer (Berlin) MSC: 68N20 68-01 PDF BibTeX XML Cite \textit{R. Wilhelm} and \textit{H. Seidl}, Compiler design. Virtual machines. Berlin: Springer (2010; Zbl 1209.68117) Full Text: DOI OpenURL
Kubota, Yusuke; Pollard, Carl Phonological interpretation into preordered algebras. (English) Zbl 1286.68456 Ebert, Christian (ed.) et al., The mathematics of language. 10th and 11th biennial conference, MOL 10, Los Angeles, CA, USA, July 28–30, 2007, and MOL 11, Bielefeld, Germany, August 20–21, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14321-2/pbk). Lecture Notes in Computer Science 6149. Lecture Notes in Artificial Intelligence, 200-209 (2010). MSC: 68T50 68N18 PDF BibTeX XML Cite \textit{Y. Kubota} and \textit{C. Pollard}, Lect. Notes Comput. Sci. 6149, 200--209 (2010; Zbl 1286.68456) Full Text: DOI OpenURL
Chen, Kung; Weng, Shu-Chun; Wang, Meng; Khoo, Siau-Cheng; Chen, Chung-Hsin Type-directed weaving of aspects for polymorphically typed functional languages. (English) Zbl 1209.68105 Sci. Comput. Program. 75, No. 11, 1048-1076 (2010). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{K. Chen} et al., Sci. Comput. Program. 75, No. 11, 1048--1076 (2010; Zbl 1209.68105) Full Text: DOI Link OpenURL
Gay, Simon J.; Vasconcelos, Vasco T. Linear type theory for asynchronous session types. (English) Zbl 1185.68194 J. Funct. Program. 20, No. 1, 19-50 (2010). MSC: 68N18 68Q55 PDF BibTeX XML Cite \textit{S. J. Gay} and \textit{V. T. Vasconcelos}, J. Funct. Program. 20, No. 1, 19--50 (2010; Zbl 1185.68194) Full Text: DOI OpenURL
Stump, Aaron Directly reflective meta-programming. (English) Zbl 1183.68164 High.-Order Symb. Comput. 22, No. 2, 115-144 (2009). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{A. Stump}, High.-Order Symb. Comput. 22, No. 2, 115--144 (2010; Zbl 1183.68164) Full Text: DOI Link OpenURL
Shelekhov, V. I. The language of calculus of computable predicates as a minimal kernel for functional languages. (English) Zbl 1374.68099 Jt. Bull. NCC IIS, Ser. Comput. Sci. 29, 107-117 (2009). MSC: 68N18 68N15 68N30 68Q55 PDF BibTeX XML Cite \textit{V. I. Shelekhov}, Jt. Bull. NCC IIS, Ser. Comput. Sci. 29, 107--117 (2009; Zbl 1374.68099) Full Text: Link OpenURL
Crolard, Tristan; Polonowski, Emmanuel; Valarcher, Pierre Extending the loop language with higher-order procedural variables. (English) Zbl 1351.68048 ACM Trans. Comput. Log. 10, No. 4, Article No. 26, 37 p. (2009). MSC: 68N15 03B70 68N18 PDF BibTeX XML Cite \textit{T. Crolard} et al., ACM Trans. Comput. Log. 10, No. 4, Article No. 26, 37 p. (2009; Zbl 1351.68048) Full Text: DOI HAL OpenURL
Liu, Hai; Cheng, Eric; Hudak, Paul Causal commutative arrows and their optimization. (English) Zbl 1302.68064 Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 35-46 (2009). MSC: 68N18 68N19 PDF BibTeX XML Cite \textit{H. Liu} et al., in: Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP '09, Edinburgh, UK, August 31 -- September 2, 2009. New York, NY: Association for Computing Machinery (ACM). 35--46 (2009; Zbl 1302.68064) Full Text: DOI Link OpenURL
Hammond, Kevin; Michaelson, Greg The Peter Landin prize. (English) Zbl 1213.68189 High.-Order Symb. Comput. 22, No. 4, 305-312 (2009). MSC: 68N18 68-03 PDF BibTeX XML Cite \textit{K. Hammond} and \textit{G. Michaelson}, High.-Order Symb. Comput. 22, No. 4, 305--312 (2009; Zbl 1213.68189) Full Text: DOI OpenURL
Hartman, Jan; Lukšan, Ladislav; Zítko, Jan Automatic differentiation and its program realization. (English) Zbl 1191.65017 Kybernetika 45, No. 5, 865-883 (2009). Reviewer: Manfred Tasche (Rostock) MSC: 65D25 68W30 26A24 PDF BibTeX XML Cite \textit{J. Hartman} et al., Kybernetika 45, No. 5, 865--883 (2009; Zbl 1191.65017) Full Text: EuDML Link OpenURL
Coquand, Thierry; Kinoshita, Yoshiki; Nordström, Bengt; Takeyama, Makoto A simple type-theoretic language: Mini-TT. (English) Zbl 1184.68152 Bertot, Yves (ed.) et al., From semantics to computer science. Essays in honour of Gilles Kahn. Cambridge: Cambridge University Press (ISBN 978-0-521-51825-3/hbk). 139-164 (2009). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{T. Coquand} et al., in: From semantics to computer science. Essays in honour of Gilles Kahn. Cambridge: Cambridge University Press. 139--164 (2009; Zbl 1184.68152) OpenURL
Tejfel, M.; Kozsik, T.; Horváth, Z. A semantic model for proving properties of clean object I/O programs. (English) Zbl 1212.68091 Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 31, 107-146 (2009). Reviewer: Damas Gruska (Bratislava) MSC: 68Q60 68N15 PDF BibTeX XML Cite \textit{M. Tejfel} et al., Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 31, 107--146 (2009; Zbl 1212.68091) OpenURL
Hinze, Ralf; Löh, Andres Generic programming in 3D. (English) Zbl 1192.68138 Sci. Comput. Program. 74, No. 8, 590-628 (2009). MSC: 68N18 PDF BibTeX XML Cite \textit{R. Hinze} and \textit{A. Löh}, Sci. Comput. Program. 74, No. 8, 590--628 (2009; Zbl 1192.68138) Full Text: DOI OpenURL
Audebaud, Philippe; Paulin-Mohring, Christine Proofs of randomized algorithms in Coq. (English) Zbl 1178.68667 Sci. Comput. Program. 74, No. 8, 568-589 (2009). MSC: 68W20 68N30 68T15 PDF BibTeX XML Cite \textit{P. Audebaud} and \textit{C. Paulin-Mohring}, Sci. Comput. Program. 74, No. 8, 568--589 (2009; Zbl 1178.68667) Full Text: DOI Link OpenURL
Jay, Barry Pattern calculus. Computing with functions and structures. (English) Zbl 1215.68055 Berlin: Springer (ISBN 978-3-540-89184-0/hbk; 978-3-540-89185-7/ebook). xvii, 213 p. (2009). Reviewer: Mirel Cosulschi (Craiova) MSC: 68N15 68N18 68P05 68P10 68-02 PDF BibTeX XML Cite \textit{B. Jay}, Pattern calculus. Computing with functions and structures. Berlin: Springer (2009; Zbl 1215.68055) Full Text: DOI OpenURL
Ishikawa, Shiro A measurement theoretical characterization of dynamical systems theory and statistics. (English) Zbl 1167.62004 Far East J. Dyn. Syst. 11, No. 2, 161-178 (2009). MSC: 62A01 93A99 37-XX 93A05 93A10 46N99 46L99 PDF BibTeX XML Cite \textit{S. Ishikawa}, Far East J. Dyn. Syst. 11, No. 2, 161--178 (2009; Zbl 1167.62004) Full Text: Link OpenURL
Park, Sungwoo; Kim, Jinha; Im, Hyeonseung Functional Netlists. (English) Zbl 1323.68146 Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 353-366 (2008). MSC: 68N18 65T50 68N15 68Q25 68Q55 PDF BibTeX XML Cite \textit{S. Park} et al., in: Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP '08, Victoria, BC, Canada, September 20--28, 2008. New York, NY: Association for Computing Machinery (ACM). 353--366 (2008; Zbl 1323.68146) Full Text: DOI OpenURL
Guillemette, Louis-Julien; Monnier, Stefan A type-preserving compiler in Haskell. (English) Zbl 1323.68187 Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 75-86 (2008). MSC: 68N20 68N15 68N18 68Q55 PDF BibTeX XML Cite \textit{L.-J. Guillemette} and \textit{S. Monnier}, in: Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP '08, Victoria, BC, Canada, September 20--28, 2008. New York, NY: Association for Computing Machinery (ACM). 75--86 (2008; Zbl 1323.68187) Full Text: DOI Link OpenURL
Lampis, Michael; Ginis, Kyriakos G.; Papakyriakou, Michalis A.; Papaspyrou, Nikolaos S. Quantum data and control made easier. (English) Zbl 1279.68035 Selinger, Peter (ed.), Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17–19 July 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 210, 85-105 (2008). MSC: 68N15 68N18 81P10 81P68 PDF BibTeX XML Cite \textit{M. Lampis} et al., Electron. Notes Theor. Comput. Sci. 210, 85--105 (2008; Zbl 1279.68035) Full Text: DOI OpenURL
Sipos, Ádám; Porkoláb, Zoltán; Zsók, Viktória Meta\(\langle\)Fun\(\rangle\) – towards a functional-style interface for C++ template metaprograms. (English) Zbl 1182.68036 Stud. Univ. Babeș-Bolyai, Inform. 53, No. 2, 55-66 (2008). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{Á. Sipos} et al., Stud. Univ. Babeș-Bolyai, Inform. 53, No. 2, 55--66 (2008; Zbl 1182.68036) OpenURL
Yarmohammadi, Mahsa A.; Shamsfard, Mehrnoush; Yarmohammadi, Mahshid A.; Rouhizadeh, Masoud SBUQA question answering system. (English) Zbl 1188.68287 Sarbazi-Azad, Hamid (ed.) et al., Advances in computer science and engineering. 13th international CSI computer conference, CSICC 2008, Kish Island, Iran, March 9–11, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89984-6/pbk; 978-3-540-89985-3/ebook). Communications in Computer and Information Science 6, 316-323 (2008). MSC: 68T35 PDF BibTeX XML Cite \textit{M. A. Yarmohammadi} et al., Commun. Comput. Inf. Sci. 6, 316--323 (2008; Zbl 1188.68287) Full Text: DOI OpenURL
Lobachev, Oleg; Loogen, Rita Towards an implementation of a computer algebra system in a functional language. (English) Zbl 1166.68378 Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 141-154 (2008). MSC: 68W30 68N18 PDF BibTeX XML Cite \textit{O. Lobachev} and \textit{R. Loogen}, Lect. Notes Comput. Sci. 5144, 141--154 (2008; Zbl 1166.68378) Full Text: DOI Link OpenURL
Schmidt-Schauss, Manfred; Sabel, David; Schütz, Marko Safety of Nöcker’s strictness analysis. (English) Zbl 1153.68012 J. Funct. Program. 18, No. 4, 503-551 (2008). MSC: 68N18 68N20 PDF BibTeX XML Cite \textit{M. Schmidt-Schauss} et al., J. Funct. Program. 18, No. 4, 503--551 (2008; Zbl 1153.68012) Full Text: DOI OpenURL
Hindley, J. Roger Basic simple type theory. Paperback reprint with corrections. (English) Zbl 1135.03006 Cambridge Tracts in Theoretical Computer Science 42. Cambridge: Cambridge University Press (ISBN 978-0-521-05422-5/pbk). xii, 186 p. (2008). Reviewer: Reinhard Kahle (Coimbra) MSC: 03B40 03B70 03B20 68-01 03-01 03B15 68N15 68N18 PDF BibTeX XML Cite \textit{J. R. Hindley}, Basic simple type theory. Paperback reprint with corrections. Cambridge: Cambridge University Press (2008; Zbl 1135.03006) OpenURL
Lee, Daniel K.; Crary, Karl; Harper, Robert Towards a mechanized metatheory of Standard ML. (English) Zbl 1295.68088 Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 173-184 (2007). MSC: 68N30 68N15 68N18 68Q85 PDF BibTeX XML Cite \textit{D. K. Lee} et al., in: Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '07, Nice, France, January 17--19, 2007. New York, NY: Association for Computing Machinery (ACM). 173--184 (2007; Zbl 1295.68088) Full Text: DOI Link OpenURL
Caballero, R.; García-Ruiz, Y. Implementing dynamic-cut in \(\mathcal{T}OY\). (English) Zbl 1279.68038 López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 153-168 (2007). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{R. Caballero} and \textit{Y. García-Ruiz}, Electron. Notes Theor. Comput. Sci. 177, 153--168 (2007; Zbl 1279.68038) Full Text: DOI OpenURL
Sheard, Tim; Pasalic, Emir Meta-programming with built-in type equality. (English) Zbl 1278.68062 Schürmann, C. (ed.), Proceedings of the fourth international workshop on logical frameworks and meta-languages (LFM 2004), Cork, UK, July 5, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 199, 49-65 (2008). MSC: 68N18 68Q55 PDF BibTeX XML Cite \textit{T. Sheard} and \textit{E. Pasalic}, Electron. Notes Theor. Comput. Sci. 199, 49--65 (2007; Zbl 1278.68062) Full Text: DOI OpenURL