Suchergebnisse - Theory Keywords Functional Logic Programming Languages~

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

Autoren: Flach, João Moreira, Alvaro F. Lamb, Luis C.

Schlagwörter: 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)

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

Capturing the future by replaying the past (functional pearl)

Autoren: Koppel, James Scherer, Gabriel Solar-Lezama, Armando et al.

Weitere Verfasser: Koppel, James Scherer, Gabriel Solar-Lezama, Armando et al.

Quelle: Prof. Solar-Lezama

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: 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

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

Index Begriffe: 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

Autoren: Baker-Finch, Clem Glynn, Kevin Peyton Jones, Simon

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

Schlagwörter: 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

Dateibeschreibung: application/xml

Zugangs-URL: 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 . . .

Autoren: Jan Christiansen Fabian Reck The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Jan Christiansen Fabian Reck The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: General Terms Algorithms, Design, Languages, Theory Keywords Functional logic programming languages, rewrite systems, nondeterminism

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: Algorithms, Languages, Performance, Theory Keywords Functional Logic Programming Languages, Rewrite Systems, Narrowing

Dateibeschreibung: application/postscript

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

Verfügbarkeit: 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

Autoren: Viktor Vafeiadis

Resource Type: eBook.

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

Autoren: Stephanie Weirich

Resource Type: eBook.

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

Autoren: Thomas Wies

Resource Type: eBook.

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

Autoren: Ilya Sergey

Resource Type: eBook.

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

Autoren: Nobuko Yoshida

Resource Type: eBook.

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

Autoren: Luís Caires

Resource Type: eBook.

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

Autoren: Peter Müller

Resource Type: eBook.

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

Autoren: Amal Ahmed

Resource Type: eBook.

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

Autoren: Zhang, Yi Hu, Ning Xu, Jiajie et al.

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

Autoren: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia et al.

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

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

Autoren: Seifi, Mohammad Maserat, Elham

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

Schlagwörter: DIGITAL health, NEW business enterprises, PROGRAMMING languages, HEALTH products, DATABASE design

Unification and Set-Valued Functions for Functional and Logic Programming

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

Quelle: DTIC AND NTIS

Index Begriffe: 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 ∗

Autoren: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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.

Autoren: Vargas, Francisco Martignon, Laura Stenning, Keith

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

Schlagwörter: LOGIC programming, BOUNDED rationality, HEURISTIC, NONMONOTONIC logic, DECISION making