Výsledky vyhledávání - "Datatype Generic Programming"

A completely unique account of enumeration

Autoři: Cas van der Rest Wouter Swierstra

Zdroj: Proceedings of the ACM on Programming Languages. 6:411-437

Témata: datatype generic programming, 0202 electrical engineering, electronic engineering, information engineering, interactive proof assistants, 0102 computer and information sciences, 02 engineering and technology, property-based testing, Agda, 01 natural sciences, dependently typed programming

Přístupová URL adresa: https://research-portal.uu.nl/en/publications/d627f914-cb1e-47f9-a0a5-6df75e6adc35
https://doi.org/10.1145/3547636
http://resolver.tudelft.nl/uuid:8b970ae1-e3aa-4a61-a5ae-b50d900a1e7a

Datatype-Generic Programming Meets Elaborator Reflection

Autoři: Ko Chen Lin

Témata: Programming Language, Datatype-Generic Programming

Relation: https://zenodo.org/records/6879702; oai:zenodo.org:6879702; https://doi.org/10.5281/zenodo.6879702

Dostupnost: https://doi.org/10.5281/zenodo.6879702
https://zenodo.org/records/6879702

Datatype-Generic Programming Meets Elaborator Reflection (Artefact)

Autoři: Ko Chen Lin

Témata: Programming Language, Datatype-Generic Programming

Relation: https://zenodo.org/records/6954977; oai:zenodo.org:6954977; https://doi.org/10.5281/zenodo.6954977

Dostupnost: https://doi.org/10.5281/zenodo.6954977
https://zenodo.org/records/6954977

Generic programming using Higher Kinded Data

Autoři: Frid, Nikolai

Dostupnost: https://hdl.handle.net/11250/3073826

Type-directed diffing of structured data

Autoři: Miraldo, Victor Cacciari Dagand, Pierre-Evariste Swierstra, Wouter a další

Přispěvatelé: Miraldo, Victor Cacciari Dagand, Pierre-Evariste Swierstra, Wouter a další

Zdroj: Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development. :2-15

Témata: Version Control, 0202 electrical engineering, electronic engineering, information engineering, Datatype Generic Programming, Dependently typed programming, 02 engineering and technology, Agda, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: image/pdf

Přístupová URL adresa: http://dspace.library.uu.nl/bitstream/1874/355261/1/9.pdf
https://hal.science/hal-01673541v1
https://doi.org/10.1145/3122975.3122976
https://hal.archives-ouvertes.fr/hal-01673541
https://dl.acm.org/doi/10.1145/3122975.3122976
https://dspace.library.uu.nl/handle/1874/355261
https://dblp.uni-trier.de/db/conf/icfp/tyde2017.html#MiraldoDS17
https://www.narcis.nl/publication/RecordID/oai%3Adspace.library.uu.nl%3A1874%2F355261
https://core.ac.uk/display/98210912
https://dspace.library.uu.nl/handle/1874/355261

Typed syntactic meta-programming

Autoři: Devriese, D. Piessens, F. Morrisett, Greg a další

Přispěvatelé: Devriese, D. Piessens, F. Morrisett, Greg a další

Zdroj: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. :73-86

Témata: Technology, dependent types, Science & Technology, tactics, LANGUAGE, Software Engineering, 02 engineering and technology, Computer Science, Software Engineering, Datatype-generic programming, Dependent Types, datatype-generic programming, meta-programming, Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Tactics

Přístupová URL adresa: https://lirias.kuleuven.be/bitstream/123456789/438905/1/icfp002-devriese-authorversion.pdf
https://lirias.kuleuven.be/handle/123456789/438905
https://doi.org/10.1145/2500365.2500575
https://biblio.vub.ac.be/vubir/typed-syntactic-metaprogramming(0a5fdba0-b5a3-421a-9d0d-a788caf03d40).html
https://hdl.handle.net/20.500.14017/0a5fdba0-b5a3-421a-9d0d-a788caf03d40
https://doi.org/10.1145/2500365.2500575

Datatype generic programming in F#

Autoři: Rodriguez, Ernesto Swierstra, W.S. Sub Softw.Techn. for Learning and Teach. a další

Přispěvatelé: Rodriguez, Ernesto Swierstra, W.S. Sub Softw.Techn. for Learning and Teach. a další

Zdroj: Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming. :23-32

Témata: F#, datatype generic programming, 0202 electrical engineering, electronic engineering, information engineering, 1. No poverty, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, reflection, 3. Good health

Popis souboru: image/pdf

Přístupová URL adresa: http://dspace.library.uu.nl/bitstream/1874/320581/1/p23_rodriguez.pdf
https://research-portal.uu.nl/en/publications/208e6eca-a1f3-45bd-82d6-647de323367c
https://doi.org/10.1145/2808098.2808101
https://dblp.uni-trier.de/db/conf/icfp/wgp2015.html#RodriguezS15
https://core.ac.uk/display/39812558
http://dspace.library.uu.nl/handle/1874/320581
https://dspace.library.uu.nl/bitstream/handle/1874/320581/p23_rodriguez.pdf;sequence=1
http://www.staff.science.uu.nl/~swier004/publications/2015-wgp.pdf
https://www.narcis.nl/publication/RecordID/oai%3Adspace.library.uu.nl%3A1874%2F320581
https://dspace.library.uu.nl/handle/1874/320581

Generic datatypes à la carte

Autoři: Keuchel, Steven Schrijvers, Tom Carette, Jacques a další

Přispěvatelé: Keuchel, Steven Schrijvers, Tom Carette, Jacques a další

Zdroj: Proceedings of the 9th ACM SIGPLAN workshop on Generic programming. :13-24

Témata: Datatype-generic programming, Mechanized meta-theory, Haskell, fixed points, proof assistant, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, generic programming, modularity

Přístupová URL adresa: https://lirias.kuleuven.be/bitstream/123456789/415555/1/wgp2013.pdf
https://biblio.ugent.be/publication/4132259
https://dl.acm.org/citation.cfm?doid=2502488.2502491
https://dblp.uni-trier.de/db/conf/icfp/wgp2013.html#KeuchelS13
https://dl.acm.org/doi/10.1145/2502488.2502491

Scala for generic programmers

Autoři: Oliveira, B Gibbons, J ACM

Zdroj: Proceedings of the ACM SIGPLAN workshop on Generic programming. :25-36

Témata: Scala, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Polytypic Programming, Datatype-Generic Programming

Přístupová URL adresa: https://ora.ox.ac.uk/objects/uuid:a6cf9fbf-a3ce-4914-854e-2731f64e895b/download_file?safe_filename=scalagp-jfp.pdf&file_format=application%2Fpdf&type_of_work=Journal+article
https://dl.acm.org/doi/10.1145/1411318.1411323
http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/scalagp.pdf
https://www.cs.ox.ac.uk/publications/publication76-abstract.html
https://core.ac.uk/display/38030036
https://doi.acm.org/10.1145/1411318.1411323
https://dblp.uni-trier.de/db/conf/icfp/wgp2008.html#OliveiraG08
http://hdl.handle.net/10722/188481

Generic programming using Higher Kinded Data

Autoři: Frid, Kathryn

Témata: datatype-generic programming, typeclass derivation, higher kinded types, higher kinded data, functional programming, scala, language integrated query library, LINQ library

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/11250/3073826

Generic conversions of abstract syntax representations

Autoři: Keuchel, Steven Jeuring, Johan T. Informatics and Applied Informatics a další

Přispěvatelé: Keuchel, Steven Jeuring, Johan T. Informatics and Applied Informatics a další

Zdroj: Proceedings of the 8th ACM SIGPLAN workshop on Generic programming. :57-68

Témata: Datatype-generic programming, 0203 mechanical engineering, fixed points, 0202 electrical engineering, electronic engineering, information engineering, abstract syntax, 02 engineering and technology

Přístupová URL adresa: http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-009.pdf
http://10.10.70.176:8080/experts/en/publications/c7ec878c-c26b-44d8-a84a-6308d0d5595e
https://research-portal.uu.nl/en/publications/4ae4fe5b-28cc-449c-922c-9ac194cc7e74
https://dl.acm.org/doi/10.1145/2364394.2364403
http://core.ac.uk/display/22200206
http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-009.pdf
https://biblio.ugent.be/publication/3049079
https://dblp.uni-trier.de/db/conf/icfp/wgp2012.html#KeuchelJ12
https://dl.acm.org/citation.cfm?doid=2364394.2364403
https://hdl.handle.net/20.500.14017/e6622722-4c2b-4984-9d51-938ffada0264
https://biblio.vub.ac.be/vubir/generic-conversions-of-abstract-syntax-representations(e6622722-4c2b-4984-9d51-938ffada0264).html
https://doi.org/10.1145/2364394.2364403

Comparing libraries for generic programming in haskell

Autoři: Oliveira, BCDS Rodriguez, A Gerdes, A a další

Zdroj: Proceedings of the first ACM SIGPLAN symposium on Haskell. :111-122

Témata: Libraries Comparison, 0202 electrical engineering, electronic engineering, information engineering, Wiskunde en Informatica (WIIN), 0102 computer and information sciences, 02 engineering and technology, Datatype-Generic Programming, 01 natural sciences

Přístupová URL adresa: http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-010.pdf
http://10.10.70.176:8080/experts/en/publications/80054e6a-6439-43d9-86e9-e2ca7ca363a7
https://dl.acm.org/doi/abs/10.1145/1543134.1411301
https://dblp.uni-trier.de/db/conf/haskell/haskell2008.html#RodriguezJJGKO08
https://core.ac.uk/display/23334048
https://tohoku.pure.elsevier.com/en/publications/comparing-libraries-for-generic-programming-in-haskell-2
https://dl.acm.org/doi/10.1145/1411286.1411301
https://research.chalmers.se/en/publication/70250
http://hdl.handle.net/10722/188482
http://hdl.handle.net/10722/188479

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

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

Modularising inductive families

Autoři: Hsiang-shang Ko Jeremy Gibbons The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Hsiang-shang Ko Jeremy Gibbons The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.ox.ac.uk/people/hsiang-shang.ko/OAOAOO/OAOAOO.pdf.

Témata: Design, Languages, Theory Keywords Dependently Typed Programming, Inductive Families, Datatype-Generic Programming

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.3650
http://www.cs.ox.ac.uk/people/hsiang-shang.ko/OAOAOO/OAOAOO.pdf

GMeta: A Generic Formal Metatheory Framework for First-Order Representations

Autoři: Cho, S Lee, G Oliveira, BCDS a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783642288685

Témata: First-Order Representations, Variable Binding, Poplmark Challenge, Coq, Datatype-Generic Programming, 7. Clean energy, Mechanization

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007%2F978-3-642-28869-2_22.pdf
https://core.ac.uk/display/38030065
https://dblp.uni-trier.de/db/conf/esop/esop2012.html#LeeOCY12
http://www.inf.fu-berlin.de/lehre/WS13/Sem-Prog/material/gmeta.pdf
https://link.springer.com/chapter/10.1007/978-3-642-28869-2_22
http://ropas.snu.ac.kr/~kwang/paper/12-esop-leolchyi.pdf
https://link.springer.com/content/pdf/10.1007%2F978-3-642-28869-2_22.pdf
http://hdl.handle.net/10722/188496

Species: making analytic functors practical for functional programming. Available athttp://www. cas.mcmaster.ca/~carette/species

Autoři: Jacques Carette Gordon Uszkay The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jacques Carette Gordon Uszkay The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cas.mcmaster.ca/~carette/species/msfp08_species.pdf.

Témata: functional programming, combinatorial species, datatype generic programming

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.569.1430; http://www.cas.mcmaster.ca/~carette/species/msfp08_species.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.569.1430
http://www.cas.mcmaster.ca/~carette/species/msfp08_species.pdf

RepLib: a library for derivable type classes

Autoři: Stephanie Weirich The Pennsylvania State University CiteSeerX Archives

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

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

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.426.478

Typed syntactic meta-programmi

Autoři: Devriese, Dominique Piessens, Frank Informatics and Applied Informatics a další

Přispěvatelé: Devriese, Dominique Piessens, Frank Informatics and Applied Informatics a další

Témata: Datatype-generic programming, Dependent Types, meta-programming, Tactics

Přístupová URL adresa: https://hdl.handle.net/20.500.14017/e6a59141-3760-429f-b450-0ea577cd8999
https://biblio.vub.ac.be/vubir/typed-syntactic-metaprogrammi(e6a59141-3760-429f-b450-0ea577cd8999).html

Generic Diff3 for Algebraic Datatypes

Autoři: Vassena, Marco, 1991

Zdroj: Proceeding TyDe 2016, Proceedings of the 1st International Workshop on Type-Driven Development. :62-71

Témata: Datatype-Generic Programming, Dependent Types, Diff3

Přístupová URL adresa: https://research.chalmers.se/publication/249246
https://research.chalmers.se/publication/508858