Search Results - Datatype-generic programming

Datatype-generic programming meets elaborator reflection

Authors: Hsiang-Shang Ko Liang-Ting Chen Tzu-Chi Lin

Source: Proceedings of the ACM on Programming Languages. 6:225-253

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Datatype-Generic Programming Meets Elaborator Reflection (Artefact)

Authors: Chen Lin

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, Programming Language, 02 engineering and technology, Datatype-Generic Programming

Datatype-Generic Programming Meets Elaborator Reflection

Authors: Chen Lin

Subject Terms: Programming Language, Datatype-Generic Programming

Datatype generic programming in F#

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

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

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

Subject Terms: 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

File Description: image/pdf

Access 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

Datatype-Generic Programming Meets Elaborator Reflection

Authors: Ko Chen Lin

Subject Terms: Programming Language, Datatype-Generic Programming

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

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

A Formal Comparison of Approaches to Datatype-Generic Programming

Authors: aes, J Löh, A

Source: Electronic Proceedings in Theoretical Computer Science, Vol 76, Iss Proc. MSFP 2012, Pp 50-67 (2012)

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, D.1.1, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 02 engineering and technology, Mathematics, Programming Languages (cs.PL)

Access URL: https://arxiv.org/pdf/1202.2920
http://arxiv.org/abs/1202.2920
https://doaj.org/article/f5b42d75cfd74712bc45e07a8cce759f
https://arxiv.org/pdf/1202.2920
https://128.84.21.199/abs/1202.2920
https://arxiv.org/abs/1202.2920

Datatype-Generic Programming

Authors: Roland Backhouse Jeremy Gibbons Ralf Hinze et al.

Resource Type: eBook.

Subjects: Software engineering, Computer programming, Compilers (Computer programs), Artificial intelligence—Data processing, Computer science

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

System f-omega with equirecursive types for datatype-generic programming

Authors: Yufei Cai Klaus Ostermann Paolo G. Giarrusso

Source: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. :30-43

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://dblp.uni-trier.de/db/conf/popl/popl2016.html#CaiGO16
https://dl.acm.org/doi/10.1145/2837614.2837660
https://core.ac.uk/display/84109649
http://ps.informatik.uni-tuebingen.de/research/functors/equirecursion-fomega-popl16.pdf
http://www-ps.informatik.uni-tuebingen.de/research/functors/equirecursion-fomega-popl16.pdf
https://doi.org/10.1145/2837614.2837660

Arity-generic datatype-generic programming

Authors: Stephanie Weirich Chris Casinghino

Source: Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification. :15-26

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://www.seas.upenn.edu/~sweirich/papers/aritygen.pdf
https://www.tyconmismatch.com/papers/aritygen.pdf
https://repository.upenn.edu/cgi/viewcontent.cgi?article=1669&context=cis_papers
https://works.bepress.com/stephanie_weirich/28/
https://repository.upenn.edu/cis_papers/631/
https://www.seas.upenn.edu/~sweirich/papers/aritygen.pdf
https://core.ac.uk/display/21170123

An object-oriented approach to datatype-generic programming

Authors: Adriaan Moors Frank Piessens Wouter Joosen

Source: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming. :96-106

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: https://dl.acm.org/doi/10.1145/1159861.1159875
https://core.ac.uk/display/34337318
https://dblp.uni-trier.de/db/conf/icfp/wgp2006.html#MoorsPJ06

Generating Constrained Test Data using Datatype Generic Programming

Authors: Rest, C.R. van der Swierstra, Dr. W.S. (Thesis Advisor)

Index Terms: Master Thesis, Student Thesis

URL: https://studenttheses.uu.nl/handle/20.500.12932/33663

Patterns in Datatype−Generic Programming

Authors: Gibbons, J

Access URL: https://ora.ox.ac.uk/objects/uuid:fb0d3850-af6a-4fab-a5fc-04c20af9e5ea

Datatype−Generic Programming

Authors: Gibbons, J

Access URL: https://ora.ox.ac.uk/objects/uuid:b872344f-5040-4d93-a761-50b44305d3c4

Generic programming using Higher Kinded Data

Authors: Frid, Nikolai

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

Spring School on Datatype−Generic Programming

Contributors: Backhouse, R Gibbons, J Hinze, R et al.

Access URL: https://ora.ox.ac.uk/objects/uuid:3c9cbc91-1496-45ee-b88a-6ad88c9f2b81

Datatype−Generic Programming

Contributors: Backhouse, R Gibbons, J Hinze, R et al.

Access URL: https://ora.ox.ac.uk/objects/uuid:03a58306-e0bb-4106-b004-fcd5b8ac952f

Datatype-Generic Programming

Authors: Gibbons, J

Source: Lecture Notes in Computer Science ISBN: 9783540767855

Access URL: https://ora.ox.ac.uk/objects/uuid:b872344f-5040-4d93-a761-50b44305d3c4/download_file?safe_filename=dgp.pdf&file_format=application%2Fpdf&type_of_work=Conference+item
https://ora.ox.ac.uk/objects/uuid:a20f9f6b-3621-4d26-8de4-a61e626e402e

A Formal Comparison of Approaches to Datatype-Generic Programming

Authors: Magalhães, José Pedro Löh, Andres

Index Terms: Computer Science - Programming Languages, D.1.1, text

URL: http://arxiv.org/abs/1202.2920

Typed syntactic meta-programming

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

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

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

Subject Terms: 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

Access 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, International Spring School, SSDGP 2006, Nottingham, UK April 24-27, 2006, Revised Lectures

Authors: Backhouse, R.C. Gibbons, J. Hinze, R. et al.

Access URL: https://research-portal.uu.nl/en/publications/8f3d87d1-b99d-46ef-b3be-ec43ab3316b1