Suchergebnisse - "datatype generic programming"

A completely unique account of enumeration

Autoren: Cas van der Rest Wouter Swierstra

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

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

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

Autoren: Ko Chen Lin

Schlagwörter: Programming Language, Datatype-Generic Programming

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

Verfügbarkeit: https://doi.org/10.5281/zenodo.6879702
https://zenodo.org/records/6879702

Datatype-Generic Programming Meets Elaborator Reflection (Artefact)

Autoren: Ko Chen Lin

Schlagwörter: Programming Language, Datatype-Generic Programming

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

Verfügbarkeit: https://doi.org/10.5281/zenodo.6954977
https://zenodo.org/records/6954977

Generic programming using Higher Kinded Data

Autoren: Frid, Nikolai

Verfügbarkeit: https://hdl.handle.net/11250/3073826

Type-directed diffing of structured data

Autoren: Miraldo, Victor Cacciari Dagand, Pierre-Evariste Swierstra, Wouter et al.

Weitere Verfasser: Miraldo, Victor Cacciari Dagand, Pierre-Evariste Swierstra, Wouter et al.

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

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

Dateibeschreibung: image/pdf

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

Autoren: Devriese, D. Piessens, F. Morrisett, Greg et al.

Weitere Verfasser: Devriese, D. Piessens, F. Morrisett, Greg et al.

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

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

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

Autoren: Rodriguez, Ernesto Swierstra, W.S. Sub Softw.Techn. for Learning and Teach. et al.

Weitere Verfasser: Rodriguez, Ernesto Swierstra, W.S. Sub Softw.Techn. for Learning and Teach. et al.

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

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

Dateibeschreibung: image/pdf

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

Autoren: Keuchel, Steven Schrijvers, Tom Carette, Jacques et al.

Weitere Verfasser: Keuchel, Steven Schrijvers, Tom Carette, Jacques et al.

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

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

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

Autoren: Oliveira, B Gibbons, J ACM

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

Schlagwörter: Scala, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Polytypic Programming, Datatype-Generic Programming

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

Autoren: Frid, Kathryn

Schlagwörter: datatype-generic programming, typeclass derivation, higher kinded types, higher kinded data, functional programming, scala, language integrated query library, LINQ library

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/11250/3073826

Generic conversions of abstract syntax representations

Autoren: Keuchel, Steven Jeuring, Johan T. Informatics and Applied Informatics et al.

Weitere Verfasser: Keuchel, Steven Jeuring, Johan T. Informatics and Applied Informatics et al.

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

Schlagwörter: Datatype-generic programming, 0203 mechanical engineering, fixed points, 0202 electrical engineering, electronic engineering, information engineering, abstract syntax, 02 engineering and technology

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

Autoren: Oliveira, BCDS Rodriguez, A Gerdes, A et al.

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

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

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

Autoren: Michael D. Adams Andrew Farmer José Pedro Magalhães et al.

Weitere Verfasser: Michael D. Adams Andrew Farmer José Pedro Magalhães et al.

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

Schlagwörter: niques, Functional Programming General Terms Algorithms, Languages Keywords benchmark, datatype-generic programming, Haskell, optimization, Scrap Your Boilerplate (SYB

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

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

Autoren: José Pedro Magalhães The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: José Pedro Magalhães The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: Categories and Subject Descriptors niques, Functional Programming Keywords datatype-generic programming, Haskell, kind polymorphism, datakinds, Agda

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

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

Autoren: Hsiang-shang Ko Jeremy Gibbons The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Hsiang-shang Ko Jeremy Gibbons The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: Design, Languages, Theory Keywords Dependently Typed Programming, Inductive Families, Datatype-Generic Programming

Dateibeschreibung: application/pdf

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

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

Autoren: Cho, S Lee, G Oliveira, BCDS et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783642288685

Schlagwörter: First-Order Representations, Variable Binding, Poplmark Challenge, Coq, Datatype-Generic Programming, 7. Clean energy, Mechanization

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

Autoren: Jacques Carette Gordon Uszkay The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Jacques Carette Gordon Uszkay The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: functional programming, combinatorial species, datatype generic programming

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

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

Autoren: Stephanie Weirich The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Stephanie Weirich The Pennsylvania State University CiteSeerX Archives

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.426.478

Typed syntactic meta-programmi

Autoren: Devriese, Dominique Piessens, Frank Informatics and Applied Informatics et al.

Weitere Verfasser: Devriese, Dominique Piessens, Frank Informatics and Applied Informatics et al.

Schlagwörter: Datatype-generic programming, Dependent Types, meta-programming, Tactics

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

Autoren: Vassena, Marco, 1991

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

Schlagwörter: Datatype-Generic Programming, Dependent Types, Diff3

Zugangs-URL: https://research.chalmers.se/publication/249246
https://research.chalmers.se/publication/508858