Výsledky vyhledávání - Functional Programming Keywords datatype-generic programming*

The right kind of generic programming

Autoři: José Pedro Magalhães The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: José Pedro Magalhães The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.dreixel.net/research/pdf/trkgp_nocolor.pdf.

Témata: Categories and Subject Descriptors niques, Functional Programming Keywords datatype-generic programming, Haskell, kind polymorphism, datakinds, Agda

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.2547; http://www.dreixel.net/research/pdf/trkgp_nocolor.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.2547
http://www.dreixel.net/research/pdf/trkgp_nocolor.pdf

Trends in Functional Programming : 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers

Autoři: Jason Hemann Stephen Chang

Resource Type: eBook.

Témata: Functional programming (Computer science)--Congresses

Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Architecture, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Trends in Functional Programming : 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers

Autoři: Viktória Zsók John Hughes

Resource Type: eBook.

Témata: Computer programming, Artificial intelligence, Computer engineering, Computer networks, Compilers (Computer programs)

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

Trends in Functional Programming : 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Autoři: Michał Pałka Magnus Myreen

Resource Type: eBook.

Témata: Computer programming, Compilers (Computer programs), Operating systems (Computers), Logic design, Microprocessors, Computer architecture

Categories: COMPUTERS / Programming / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Logic Design, COMPUTERS / Operating Systems / General

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

Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers.

Autoři: BENDKOWSKI, MACIEJ GRYGIEL, KATARZYNA TARAU, PAUL

Zdroj: Theory & Practice of Logic Programming; Jan2018, Vol. 18 Issue 1, p97-119, 23p

Témata: LOGIC programming, FUNCTIONAL programming (Computer science), COMPUTER software testing, BOLTZMANN factor, COMPUTER programming

Trends in Functional Programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Autoři: Manuel Serrano Jurriaan Hage

Resource Type: eBook.

Témata: Computer programming, Compilers (Computer programs), Software engineering, Computer science, Artificial intelligence, Machine theory

Categories: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General

A functional approach to generic programming using adaptive traversals.

Autoři: Chadwick, Bryan Lieberherr, Karl

Zdroj: Higher-Order & Symbolic Computation; Dec2010, Vol. 23 Issue 4, p433-463, 31p

Témata: FUNCTIONAL programming (Computer science), DATA structures, GENERIC programming (Computer science), ELECTRONIC data processing, ELECTRONIC file management, COMPUTER software reusability

Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Autoři: Michael Codish Eijiro Sumii

Resource Type: eBook.

Témata: Software engineering, Computer science, Compilers (Computer programs), Machine theory, Artificial intelligence, Computer programming

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Trends in Functional Programming : 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers

Autoři: Jurriaan Hage Jay McCarthy

Resource Type: eBook.

Témata: Computer programming, Compilers (Computer programs), Computer science, Artificial intelligence

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

Generic Representations of Tree Transformations

Autoři: Jeroen Bransen José Pedro Magalhães The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jeroen Bransen José Pedro Magalhães The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.dreixel.net/research/pdf/grtt_nocolor.pdf.

Témata: D.1.1 [Programming Tech- Categories and Subject Descriptors niques, Functional Programming Keywords datatype-generic programming, diff, editing, Haskell

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.4100; http://www.dreixel.net/research/pdf/grtt_nocolor.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.4100
http://www.dreixel.net/research/pdf/grtt_nocolor.pdf

Generic Representations of Tree Transformations

Autoři: Jeroen Bransen José Pedro Magalhães The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jeroen Bransen José Pedro Magalhães The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.dreixel.net/research/pdf/grtt.pdf.

Témata: D.1.1 [Programming Tech- Categories and Subject Descriptors niques, Functional Programming Keywords datatype-generic programming, diff, editing, Haskell

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.2436; http://www.dreixel.net/research/pdf/grtt.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.2436
http://www.dreixel.net/research/pdf/grtt.pdf

Design Patterns as Higher-Order Datatype-Generic Programs

Autoři: Jeremy Gibbons The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jeremy Gibbons The Pennsylvania State University CiteSeerX Archives

Zdroj: http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/hodgp.pdf.

Témata: General Terms Languages, Design, Algorithms, Theory Keywords Design patterns, generic programming, higher-order functions, functional programming

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.5251; http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/hodgp.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.5251
http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/hodgp.pdf

Optimizing SYB Is Easy!

Autoři: Michael D. Adams Andrew Farmer José Pedro Magalhães a další

Přispěvatelé: Michael D. Adams Andrew Farmer José Pedro Magalhães a další

Zdroj: http://www.dreixel.net/research/pdf/osie_draft.pdf.

Témata: niques, Functional Programming General Terms Algorithms, Languages Keywords benchmark, datatype-generic programming, Haskell, optimization, Scrap Your Boilerplate (SYB

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.1850; http://www.dreixel.net/research/pdf/osie_draft.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.1850
http://www.dreixel.net/research/pdf/osie_draft.pdf

Trends in Functional Programming : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers

Autoři: Ricardo Peña Rex Page

Resource Type: eBook.

Témata: Functional programming (Computer science)--Congr, Logic design--Computer programs--Congresses, Data structures (Computer science)--Congresses

Categories: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management

Categories and Subject Descriptors D.1.1 [Programming Techniques]: Applicative (Functional) Programming

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

Zdroj: http://www.seas.upenn.edu/~sweirich/RepLib/haskell08-weirich.pdf.

Témata: General Terms Design, Languages Keywords Type-indexed programming, Datatype-generic programming, Representation types, GADT 1. Deriving type-indexed operations

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.6326
http://www.seas.upenn.edu/~sweirich/RepLib/haskell08-weirich.pdf

Optimizing Generics Is Easy!

Autoři: José Pedro Magalhães Stefan Holdermans Johan Jeuring a další

Přispěvatelé: José Pedro Magalhães Stefan Holdermans Johan Jeuring a další

Zdroj: http://www.dreixel.net/research/pdf/ogietr.pdf.

Témata: niques, Functional Programming General Terms Languages Keywords benchmarking, functional programming, generic programming, Haskell, optimization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.2586; http://www.dreixel.net/research/pdf/ogietr.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.2586
http://www.dreixel.net/research/pdf/ogietr.pdf

Learning Functional Programming in Go : Change the Way You Approach Your Applications Using Functional Programming in Go

Autoři: Lex Sheehan

Resource Type: eBook.

Témata: Functional programming (Computer science), Go (Computer program language)

Categories: COMPUTERS / Programming / Open Source, COMPUTERS / Programming / Object Oriented, COMPUTERS / Programming / Algorithms

Functional and Logic Programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings

Autoři: Matthias Blume Naoki Kobayashi Germán Vidal-Oriola

Resource Type: eBook.

Témata: Functional programming (Computer science)--Congr, Logic programming--Congresses

Categories: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General

Advanced Functional Programming : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures

Autoři: Pieter Koopman Doaitse Swierstra

Resource Type: eBook.

Témata: Heijen (2008), Kongress, Functional programming (Computer science)--Congr, Funktionale Programmierung

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms