Search Results - "Functional programming languages"

PhD Abstracts.

Authors: HUTTON, GRAHAM¹ graham.hutton@nottingham.ac.uk

Source: Journal of Functional Programming. 2020, Vol. 30, p1-7. 7p.

Effect handlers via generalised continuations.

Authors: HILLERSTRÖM, DANIEL LINDLEY, SAM ATKEY, ROBERT

Source: Journal of Functional Programming. 2020, Vol. 30, p1-69. 69p.

Doo bee doo bee doo.

Authors: CONVENT, LUKAS LINDLEY, SAM MCBRIDE, CONOR et al.

Source: Journal of Functional Programming. 2020, Vol. 30, p1-53. 53p.

From Ruby to Elixir : Unleash the Full Potential of Functional Programming

Authors: Stephen Bussey

Resource Type: eBook.

Subjects: Elixir (Computer program language), Ruby (Computer program language), Functional programming languages, Object-oriented programming languages

Categories: COMPUTERS / Languages / General, COMPUTERS / General, COMPUTERS / Languages / Ruby, COMPUTERS / Internet / Web Programming

Reversible Garbage Collection for Reversible Functional Languages.

Authors: Mogensen, Torben Ægidius¹ torbenm@di.ku.dk

Source: New Generation Computing. Jul2018, Vol. 36 Issue 3, p203-232. 30p.

Subjects: Reversible computing, Functional programming languages, Programming languages, Computer memory management, Hashing

PhD Abstracts.

Authors: HUTTON, GRAHAM¹ graham.hutton@nottingham.ac.uk

Source: Journal of Functional Programming. 2019, Vol. 29, p1-10. 10p.

The verified CakeML compiler backend.

Authors: KIAM TAN, YONG MYREEN, MAGNUS O. KUMAR, RAMANA et al.

Source: Journal of Functional Programming. 2019, Vol. 29, p1-57. 57p.

USING ERLANG IN RESEARCH AND EDUCATION IN A TECHNICAL UNIVERSITY.

Authors: Petrov, Iurii Alexeyenko, Andrey Ivanova, Galina

Source: Computer Science; 2018, Vol. 19 Issue 3, p333-343, 11p

Actor model of Anemone functional language.

Authors: Batko, Paweł Kuta, Marcin

Source: Journal of Supercomputing. Apr2018, Vol. 74 Issue 4, p1485-1496. 12p.

Subjects: Functional programming languages, Compilers (Computer programs), Threads (Computer programs), Message passing (Computer science), Garbage collection (Computer science)

Artificial Intelligence in a New Context: 'Internal' and 'External' Factors.

Authors: Gonzalez, Wenceslao¹ wencglez@udc.es

Source: Minds & Machines. Sep2017, Vol. 27 Issue 3, p393-396. 4p.

Subjects: Artificial intelligence, Functional programming languages, Logic

Programmer Passport: Elixir

Authors: Bruce Tate

Resource Type: eBook.

Subjects: Computer programming, Elixir (Computer program language), Functional programming languages

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Literacy, COMPUTERS / Languages / General, COMPUTERS / Programming / Open Source

PhD Abstracts.

Authors: HUTTON, GRAHAM¹ graham.hutton@nottingham.ac.uk

Source: Journal of Functional Programming. 2018, Vol. 28, pN.PAG-N.PAG. 23p.

Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong).

Authors: SEIDEL, ERIC L. JHALA, RANJIT WEIMER, WESTLEY

Source: Journal of Functional Programming. 2018, Vol. 28, pN.PAG-N.PAG. 47p.

Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization.

Authors: MATSUDA, KAZUTAKA WANG, MENG

Source: Journal of Functional Programming. 2018, Vol. 28, pN.PAG-N.PAG. 49p.

FUNCTIONAL PROGRAMMING.

Authors: Walinsky, Clifford¹

Source: Encyclopedia of Electrical & Electronics Engineering. 1999 1st Edition, Vol. 8, p25-37. 13p.

Subjects: Functional programming languages, Information theory, Lambda calculus, Mathematical logic, Artificial intelligence, Data structures

AN ANDROID HASKELL APPLICATION.

Authors: Ferrara, Julián E. Gutiérrez López, Pablo E. Martínez

Source: Proceedings of the IADIS International Conference on WWW/Internet; 2015, p177-181, 5p

XQUERY ALGEBRA TO RELATIONAL ALGEBRA TRANSLATION RULES.

Authors: Loose, Marta Breunig de Brum Saccol, Deise Piveta, Eduardo Kessler

Source: Proceedings of the IADIS International Conference on WWW/Internet; 2014, p107-114, 8p

Parallelization of Termination Checker of Term Rewriting Systems.

Authors: Ding, Rui Sato, Haruhiko Kurihara, Masahito

Source: Proceedings of the International MultiConference of Engineers & Computer Scientists 2012 Volume I; 2012, Vol. 1, p736-741, 6p

ICE-Based Refinement Type Discovery for Higher-Order Functional Programs.

Authors: Champion, Adrien Chiba, Tomoya Kobayashi, Naoki et al.

Source: Journal of Automated Reasoning. Oct2020, Vol. 64 Issue 7, p1393-1418. 26p.

Subjects: Functional programming languages, Machine learning, Mathematical models, Polynomials, Software verification

Fine-Grained Complexity of Safety Verification.

Authors: Chini, Peter Meyer, Roland Saivasan, Prakash

Source: Journal of Automated Reasoning. Oct2020, Vol. 64 Issue 7, p1419-1444. 26p.

Subjects: Dynamic programming, Functional programming languages, Machine learning, Polynomials, Software verification