Výsledky vyhledávání - "Datatype-generic programming"

Datatype-generic programming meets elaborator reflection

Autoři: Hsiang-Shang Ko Liang-Ting Chen Tzu-Chi Lin

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

Témata: 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)

Autoři: Chen Lin

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

Datatype-Generic Programming Meets Elaborator Reflection

Autoři: Chen Lin

Témata: Programming Language, Datatype-Generic Programming

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

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

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

Autoři: Yufei Cai Klaus Ostermann Paolo G. Giarrusso

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

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: 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

Datatype-Generic Programming

Autoři: Roland Backhouse Jeremy Gibbons Ralf Hinze a další

Resource Type: eBook.

Témata: 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

A Formal Comparison of Approaches to Datatype-Generic Programming

Autoři: aes, J Löh, A

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

Témata: 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)

Přístupová URL adresa: 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

Generating Constrained Test Data using Datatype Generic Programming

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

Témata: Master Thesis, Student Thesis

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

An object-oriented approach to datatype-generic programming

Autoři: Adriaan Moors Frank Piessens Wouter Joosen

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

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: 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

Patterns in Datatype−Generic Programming

Autoři: Gibbons, J

Přístupová URL adresa: https://ora.ox.ac.uk/objects/uuid:fb0d3850-af6a-4fab-a5fc-04c20af9e5ea

Datatype−Generic Programming

Autoři: Gibbons, J

Přístupová URL adresa: https://ora.ox.ac.uk/objects/uuid:b872344f-5040-4d93-a761-50b44305d3c4

Arity-generic datatype-generic programming

Autoři: Stephanie Weirich Chris Casinghino

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

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: 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

Spring School on Datatype−Generic Programming

Přispěvatelé: Backhouse, R Gibbons, J Hinze, R a další

Přístupová URL adresa: https://ora.ox.ac.uk/objects/uuid:3c9cbc91-1496-45ee-b88a-6ad88c9f2b81

Datatype−Generic Programming

Přispěvatelé: Backhouse, R Gibbons, J Hinze, R a další

Přístupová URL adresa: https://ora.ox.ac.uk/objects/uuid:03a58306-e0bb-4106-b004-fcd5b8ac952f

Datatype-Generic Programming

Autoři: Gibbons, J

Zdroj: Lecture Notes in Computer Science ISBN: 9783540767855

Přístupová URL adresa: 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

Autoři: Magalhães, José Pedro Löh, Andres

Témata: Computer Science - Programming Languages, D.1.1, text

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

Datatype-Generic Programming, International Spring School, SSDGP 2006, Nottingham, UK April 24-27, 2006, Revised Lectures

Autoři: Backhouse, R.C. Gibbons, J. Hinze, R. a další

Přístupová URL adresa: https://research-portal.uu.nl/en/publications/8f3d87d1-b99d-46ef-b3be-ec43ab3316b1

Datatype generic programming in F#

Autoři: Sub Softw.Techn. for Learning and Teach. Software Technology for Learning and Teaching Rodriguez, Ernesto a další

URL: https://doi.org/10.1145/2808098.2808101
http://hdl.handle.net/1874/320581
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming
23
32

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