Výsledky vyhledávání - Functional programming AND lambda calculus

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

Autoři: Flach, João Lamb, Luis C.

Témata: 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)

Autoři: DEINEHA, Oleksandr

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

Témata: 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

Autoři: Fowler, Simon John Lindley, Sam Wadler, Philip

Přispěvatelé: Fowler, Simon John Lindley, Sam Wadler, Philip

Témata: 005.1, session types, functional programming, concurrent programming, lambda calculus, programming languages

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.783659

Supervised data extraction from transformer representation of Lambda-terms

Autoři: Oleksandr Deineha

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

Témata: 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

Popis souboru: 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

Přístupová URL adresa: https://doaj.org/article/44b1bf9c05cd49d49de84528e56a51be

Functional Programming & Lambda Calculus

Autoři: Raven Ricci Alia Bell

Resource Type: eBook.

Témata: 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

Autoři: Greg Michaelson

Resource Type: eBook.

Témata: 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.

Autoři: NOGUEIRA, PABLO GARCÍA-PÉREZ, ÁLVARO

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

Témata: FUNCTIONAL programming (Computer science), MACHINE theory, LAMBDA calculus, PROGRAM transformation, PROGRAMMING languages

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

Autoři: MORIHATA, AKIMASA

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

Témata: LAMBDA calculus, ALGEBRAIC logic, FUNCTIONAL programming (Computer science), PARALLEL programming, COEFFICIENTS (Statistics)

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

Autoři: Ghilezan, Silvia Ivetić, Jelena Kašterović, Simona a další

Přispěvatelé: Ghilezan, Silvia Ivetić, Jelena Kašterović, Simona a další

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

Témata: 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

Dostupnost: 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

Autoři: Ong, C.-H. Luke

Témata: 510

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.717445

A Brief Overview of Functional Programming Languages.

Autoři: Kunasaikaran, Jagatheesan Iqbal, Azlan

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

Témata: FUNCTIONAL programming languages, LAMBDA calculus, LISP (Computer program language), PYTHON programming language, JAVASCRIPT programming language

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

Autoři: Georg P. Loczewski

Resource Type: eBook.

Categories: NATURE / Sky Observation

History of Logo

Autoři: Solomon, Cynthia Harvey, Brian Kahn, Ken a další

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

Témata: 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)

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Drab, Tomasz

Témata: Computer Science - Programming Languages, text

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

TOWARDS PROGRAMMING WITH FIRST-CLASS PATTERNS.

Autoři: Hamel, Lutz Colaneri, Timothy Finkle, Ariel a další

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

Témata: Functional programming (Computer science), Programming languages, Data structures, Lambda calculus, Problem solving

Formally justified and modular Bayesian inference for probabilistic programs

Autoři: Ścibior, Adam Michał Ghahramani, Zoubin

Přispěvatelé: Ścibior, Adam Michał Ghahramani, Zoubin

Témata: 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

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.782984

Functional programming and lambda calculus

Autoři: Barendregt, H.P.

Zdroj: 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.

Autoři: Priestley, Mark

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

Témata: LISP (Computer program language), FUNCTIONAL programming (Computer science), LAMBDA calculus

Korporace: ASSOCIATION for Computing Machinery

People: NEWELL, Allen, 1927-1992

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

Autoři: Forster, Yannick Smolka, Gert

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

Témata: LAMBDA calculus, COMPUTATIONAL complexity, UBIQUINONES, SEMANTICS, FUNCTIONAL programming languages

Semantic analysis of normalisation by evaluation for typed lambda calculus.

Autoři: Fiore, Marcelo

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

Témata: LAMBDA calculus, LOGIC, PROGRAMMING languages, METATHEORY, SEMANTICS