Search Results - Functional programming and lambda calculus

A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming

Authors: Flach, João Lamb, Luis C.

Index Terms: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/2304.09276

SUPERVISED DATA EXTRACTION FROM TRANSFORMER REPRESENTATION OF LAMBDA-TERMS.

Alternate Title: КЕРОВАНЕ ВИЛУЧЕННЯ ДАНИХ З ТРАНСФОРМЕРНОЇ РЕПРЕЗЕНТАЦІЇ ЛЯМБДА-ТЕРМІВ. (Ukrainian)

Authors: DEINEHA, Oleksandr

Source: Radioelectronic & Computer Systems / Radìoelektronnì ì Komp'ûternì Sistemi; 2024, Issue 2, p19-29, 11p

Subject Terms: DATA extraction, LAMBDA calculus, COMPILERS (Computer programs), FUNCTIONAL programming (Computer science), OBJECT-oriented methods (Computer science), ARTIFICIAL neural networks

Typed concurrent functional programming with channels, actors and sessions

Authors: Fowler, Simon John Lindley, Sam Wadler, Philip

Contributors: Fowler, Simon John Lindley, Sam Wadler, Philip

Subject Terms: 005.1, session types, functional programming, concurrent programming, lambda calculus, programming languages

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.783659

Supervised data extraction from transformer representation of Lambda-terms

Authors: Oleksandr Deineha

Source: Радіоелектронні і комп'ютерні системи, Vol 2024, Iss 2, Pp 19-29 (2024)

Subject Terms: lambda calculus, functional programming language, strategy optimization, large language model, code embeddings., Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: http://nti.khai.edu/ojs/index.php/reks/article/view/2298; https://doaj.org/toc/1814-4225; https://doaj.org/toc/2663-2012

Access URL: https://doaj.org/article/44b1bf9c05cd49d49de84528e56a51be

Functional Programming & Lambda Calculus

Authors: Raven Ricci Alia Bell

Resource Type: eBook.

Subjects: Functional programming (Computer science), Lambda calculus

Categories: COMPUTERS / Software Development & Engineering / Tools, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Open Source

An Introduction to Functional Programming Through Lambda Calculus

Authors: Greg Michaelson

Resource Type: eBook.

Subjects: Lambda calculus, Functional programming (Computer science)

Categories: MATHEMATICS / Calculus

EQUIVALENCE OF EVAL-READBACK AND EVAL-APPLY BIG-STEP EVALUATORS BY STRUCTURING THE LAMBDA-CALCULUS'S STRATEGY SPACES.

Authors: NOGUEIRA, PABLO GARCÍA-PÉREZ, ÁLVARO

Source: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 4, p24:1-24:76, 76p

Subject Terms: FUNCTIONAL programming (Computer science), MACHINE theory, LAMBDA calculus, PROGRAM transformation, PROGRAMMING languages

Lambda calculus with algebraic simplification for reduction parallelisation: Extended study.

Authors: MORIHATA, AKIMASA

Source: Journal of Functional Programming; 2021, Vol. 31 Issue 1/2, p1-40, 40p

Subject Terms: LAMBDA calculus, ALGEBRAIC logic, FUNCTIONAL programming (Computer science), PARALLEL programming, COEFFICIENTS (Statistics)

L-types for resource aware languages: an implicit name approach

Authors: Ghilezan, Silvia Ivetić, Jelena Kašterović, Simona et al.

Contributors: Ghilezan, Silvia Ivetić, Jelena Kašterović, Simona et al.

Source: https://hal.science/hal-03498420 ; 2025.

Subject Terms: language design, language design functional programming lambda calculus de Bruijn index type system resource awareness Haskell, Haskell, resource awareness, type system, de Bruijn index, lambda calculus, functional programming, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2112.11062; ARXIV: 2112.11062

Availability: https://hal.science/hal-03498420
https://hal.science/hal-03498420v2/document
https://hal.science/hal-03498420v2/file/L-types-for-resource-awarness.pdf

The Lazy Lambda Calculus : an investigation into the foundations of functional programming

Authors: Ong, C.-H. Luke

Subject Terms: 510

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.717445

A Brief Overview of Functional Programming Languages.

Authors: Kunasaikaran, Jagatheesan Iqbal, Azlan

Source: Electronic Journal of Computer Science & Information Technology; 2016, Vol. 6 Issue 1, p32-36, 5p

Subject Terms: FUNCTIONAL programming languages, LAMBDA calculus, LISP (Computer program language), PYTHON programming language, JAVASCRIPT programming language

A++ and the Lambda Calculus : Principles of Functional Programming

Authors: Georg P. Loczewski

Resource Type: eBook.

Categories: NATURE / Sky Observation

History of Logo

Authors: Solomon, Cynthia Harvey, Brian Kahn, Ken et al.

Source: Proceedings of the ACM on Programming Languages. 4(HOPL)

Subject Terms: 4613 Theory Of Computation (for-2020), 46 Information and Computing Sciences (for-2020), 4612 Software Engineering (for-2020), 4 Quality Education (sdg), Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education-Interactive learning environments, History of computingsHistory of programming languages, Computing educations- Computational thinking, Computing education programsDComputer science education, Informal education, Computing literacy, K-12 education (ages 5-18), Software notations and tools- General programming languages, Imperative languages, Functional languages, Language featuressControl structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computations-Models of computation-computabilitys-, Lambda calculus, Recursive functions, Interactive computation., Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education– Interactive learning environments, History of computing–History of programming languages, Computing education– Computational thinking, Computing education programs—Computer science education, Informal education, Computing literacy, K-12 education (ages 5-18), Software notations and tools–General programming languages, Imperative languages, Functional languages, Language features–Control structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computation–Models of computation— Computability–Lambda calculus, Recursive functions, Interactive computation., 4612 Software engineering (for-2020), 4613 Theory of computation (for-2020), 4903 Numerical and computational mathematics (for-2020)

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/1623m1p3
https://escholarship.org/content/qt1623m1p3/qt1623m1p3.pdf

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction

Authors: Drab, Tomasz

Index Terms: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/2405.12586

TOWARDS PROGRAMMING WITH FIRST-CLASS PATTERNS.

Authors: Hamel, Lutz Colaneri, Timothy Finkle, Ariel et al.

Source: Proceedings of the IADIS International Conference on WWW/Internet. 2021, p241-244. 4p.

Subject Terms: Functional programming (Computer science), Programming languages, Data structures, Lambda calculus, Problem solving

Formally justified and modular Bayesian inference for probabilistic programs

Authors: Ścibior, Adam Michał Ghahramani, Zoubin

Contributors: Ścibior, Adam Michał Ghahramani, Zoubin

Subject Terms: probabilistic programming, machine learning, Bayesian inference, functional programming, denotational semantics, Haskell, Monte Carlo, Markov chain Monte Carlo, Sequential Monte Carlo, quasi-Borel spaces, monads, monad transformers, programming languages, lambda calculus, importance sampling

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.782984

Functional programming and lambda calculus

Authors: Barendregt, H.P.

Source: J. van Leeuwen (ed.), Handbook of Theoretical Computer Science; vol. B; 323; 363; 0444880747; J. van Leeuwen (ed.), Handbook of Theoretical Computer Science; vol. B~~323~363~~0444880747~~~~~

URL: http://hdl.handle.net/2066/17230

AI and the Origins of the Functional Programming Language Style.

Authors: Priestley, Mark

Source: Minds & Machines; Sep2017, Vol. 27 Issue 3, p449-472, 24p

Subject Terms: LISP (Computer program language), FUNCTIONAL programming (Computer science), LAMBDA calculus

Company/Entity: ASSOCIATION for Computing Machinery

People: NEWELL, Allen, 1927-1992

Call-by-Value Lambda Calculus as a Model of Computation in Coq.

Authors: Forster, Yannick Smolka, Gert

Source: Journal of Automated Reasoning; Aug2019, Vol. 63 Issue 2, p393-413, 21p

Subject Terms: LAMBDA calculus, COMPUTATIONAL complexity, UBIQUINONES, SEMANTICS, FUNCTIONAL programming languages

Semantic analysis of normalisation by evaluation for typed lambda calculus.

Authors: Fiore, Marcelo

Source: Mathematical Structures in Computer Science; Sep2022, Vol. 32, p1028-1065, 38p

Subject Terms: LAMBDA calculus, LOGIC, PROGRAMMING languages, METATHEORY, SEMANTICS