Výsledky vyhledávání - Theory Keywords Functional Logic Programming Languages

Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming

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

Témata: I.2, FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Computer Science - Computation and Language, D.1.1, Computer Science - Artificial Intelligence, I.2.6, F.1, Machine Learning (cs.LG), Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), F.1.1, Computation and Language (cs.CL)

Přístupová URL adresa: http://arxiv.org/abs/2304.09276

Capturing the future by replaying the past (functional pearl)

Autoři: Koppel, James Scherer, Gabriel Solar-Lezama, Armando a další

Přispěvatelé: Koppel, James Scherer, Gabriel Solar-Lezama, Armando a další

Zdroj: Prof. Solar-Lezama

Témata: Control structures, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], •Software and its engineering → Functional languages, delimited continuations ACM Reference format: James Koppel, Additional Key Words and Phrases: monads, 02 engineering and technology, Gabriel Scherer, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], and Armando Solar-Lezama 2018 Capturing the Future by Replaying the Past, CCS Concepts: •Theory of computation → Control primitives, 0202 electrical engineering, electronic engineering, information engineering, Functional constructs, General programming languages

Popis souboru: application/pdf

Přístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3236771
https://inria.hal.science/hal-01929178v1/document
https://inria.hal.science/hal-01929178v1
https://doi.org/10.1145/3236771
https://dl.acm.org/doi/pdf/10.1145/3236771
http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#KoppelSS18
https://hal.inria.fr/hal-01929178
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#KoppelSS18
https://hal.inria.fr/hal-01929178/document
https://dspace.mit.edu/handle/1721.1/117385
https://orcid.org/0000-0002-3948-6904
http://hdl.handle.net/1721.1/117385
https://orcid.org/0000-0001-7604-8252

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

Constructed product result analysis for Haskell

Autoři: Baker-Finch, Clem Glynn, Kevin Peyton Jones, Simon

Zdroj: Journal of Functional Programming. 14:211-245

Témata: Optimization, Program compilers, Keywords: Internal library functions, Theory of compilers and interpreters, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computational complexity, Computer programming languages, Benchmarking, Logic design, Functions, 0202 electrical engineering, electronic engineering, information engineering, Scheme languages, Functional programming and lambda calculus

Popis souboru: application/xml

Přístupová URL adresa: https://dl.acm.org/doi/10.1017/S0956796803004751
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/cpr.pdf
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/constructed-product-result-analysis-for-haskell/53F8937E9686B7CB261AE727124FE1D0
https://digitalcollections.anu.edu.au/handle/1885/77413
https://research.microsoft.com/en-us/um/people/simonpj/Papers/cpr/index.htm
https://www.microsoft.com/en-us/research/publication/constructed-product-result-analysis-haskell/

A semantics for weakly . . .

Autoři: Jan Christiansen Fabian Reck The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jan Christiansen Fabian Reck The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.informatik.uni-kiel.de/~mh/publications/papers/PPDP13.pdf.

Témata: General Terms Algorithms, Design, Languages, Theory Keywords Functional logic programming languages, rewrite systems, nondeterminism

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.381.1787

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.381.1787
http://www.informatik.uni-kiel.de/~mh/publications/papers/PPDP13.pdf

Constructor-based Conditional Narrowing

Autoři: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.pdx.edu/~antoy/homepage/./papers/ppdp01-A/paper.ps.gz.

Témata: Algorithms, Languages, Performance, Theory Keywords Functional Logic Programming Languages, Rewrite Systems, Narrowing

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.8483

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.8483
http://www.cs.pdx.edu/~antoy/homepage/./papers/ppdp01-A/paper.ps.gz

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autoři: Stephanie Weirich

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autoři: Thomas Wies

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Programming / Compilers

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

Autoři: Ilya Sergey

Resource Type: eBook.

Témata: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Autoři: Nobuko Yoshida

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autoři: Luís Caires

Resource Type: eBook.

Témata: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

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

Autoři: Peter Müller

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Autoři: Amal Ahmed

Resource Type: eBook.

Témata: Programming languages (Electronic computers), Computer organization, Computer science, Computers

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

DNA logic programming: From concept to construction.

Autoři: Zhang, Yi Hu, Ning Xu, Jiajie a další

Zdroj: View (2688-268X); Feb2024, Vol. 5 Issue 1, p1-11, 11p

The Use of Artificial Intelligence (AI) to Support Dietetic Practice Across Primary Care: A Scoping Review of the Literature.

Autoři: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia a další

Zdroj: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.

Designing a system to empower startup businesses for evaluating digital health products.

Autoři: Seifi, Mohammad Maserat, Elham

Zdroj: Frontiers in Health Informatics; 2024, Vol. 13 Issue 1, p1-9, 9p

Témata: DIGITAL health, NEW business enterprises, PROGRAMMING languages, HEALTH products, DATABASE design

Unification and Set-Valued Functions for Functional and Logic Programming

Autoři: NORTH CAROLINA UNIV AT CHAPEL HILL DEPT OF COMPUTER SCIENCE Silbermann, Frank S Jayaraman, Bharat

Zdroj: DTIC AND NTIS

Témata: Computer Programming and Software, COMPUTER PROGRAMMING, INPUT, OUTPUT, SEMANTICS, SET THEORY, SYNTAX, COMPUTER LOGIC, Functional programming, Logic programming, Setlog programming language, High level programming., Text

URL: https://apps.dtic.mil/docs/citations/ADA193643

ABSTRACT Constructor-based Conditional Narrowing ∗

Autoři: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Zdroj: http://web.cecs.pdx.edu/~antoy/homepage/publications/ppdp01-A/paper.pdf.

Témata: Formal Languages, Grammars and Other Rewriting Systems, I.1.1 [Algebraic Manipulation, Expressions and Their Representation—Simplification of expressions, I.2.2 [Automatic Programming, Program transformation General Terms Algorithms, Languages, Performance, Theory Keywords Functional Logic Programming Languages, Rewrite Systems, Narrowing Strategies, Call-By-Need

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.2049

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.2049
http://web.cecs.pdx.edu/~antoy/homepage/publications/ppdp01-A/paper.pdf

Bounded rationality: from fast and frugal heuristics to logic programming and back.

Autoři: Vargas, Francisco Martignon, Laura Stenning, Keith

Zdroj: Mind & Society; Nov2023, Vol. 22 Issue 1/2, p33-51, 19p

Témata: LOGIC programming, BOUNDED rationality, HEURISTIC, NONMONOTONIC logic, DECISION making