Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen
  • Suche: Datatype-Generic Programming

Treffer 1 - 20 von 354

1

A Formal Comparison of Approaches to Datatype-Generic Programming
Magalhães, José Pedro ; Löh, Andres
EPTCS 76, 2012, pp. 50-67

Computer Science - Progr... D.1.1
Report
Merkliste
3

Datatype-Generic Programming Meets Elaborator Reflection
Ko ; Chen ; Lin

Programming Language Datatype-Generic Program...
Konferenz
Merkliste
4

Datatype-Generic Programming Meets Elaborator Reflection (Artefact)
Ko ; Chen ; Lin

Programming Language Datatype-Generic Program...
Konferenz
Merkliste
6

Generating Constrained Test Data using Datatype Generic Programming
Rest, C.R. van der ; Swierstra, Dr. W.S. (Thesis Advisor) ; Rest, C.R. van der ; et al.

E-Ressource
Merkliste
7

Datatype generic programming in F#
Rodriguez, Ernesto ; Swierstra, W.S. ; Rodriguez, Ernesto ; et al.
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming , p.23-32. Vancouver, BC, [ISBN 978-1-4503-3810-3]

E-Ressource
Merkliste
8

Datatype-generic programming meets elaborator reflection
Ko, Hsiang-Shang ; Chen, Liang-Ting ; Lin, Tzu-Chi ; et al.
Proceedings of the ACM on Programming Languages ; volume 6, issue ICFP, page 225-253 ; ISSN 2475-1421

Fachzeitschrift
Merkliste
9

Comparing Approaches to Generic Programming in Haskell
Datatype-generic programming: International Spring School, SSDGP 2006
Hinze, R. ; Jeuring, J. ; Loh, A.
LECTURE NOTES IN COMPUTER SCIENCE. (4719):72-149

Konferenz
Merkliste
11

Generic Programming with Dependent Types
Datatype-generic programming: International Spring School, SSDGP 2006
Altenkirch, T. ; McBride, C. ; Morris, P.
LECTURE NOTES IN COMPUTER SCIENCE. (4719):209-257

Konferenz
Merkliste
12

Generic Programming, Now!
Datatype-generic programming: International Spring School, SSDGP 2006
Hinze, R. ; Loh, A.
LECTURE NOTES IN COMPUTER SCIENCE. (4719):150-208

Konferenz
Merkliste
13

Datatype generic programming in F#
Sub Softw.Techn. for Learning and Teach. ; Software Technology for Learning and Teaching ; Rodriguez, Ernesto ; et al.

E-Ressource
Merkliste
14

Datatype-Generic Termination Proofs.
Backhouse, Roland ; Doornbos, Henk
Theory of Computing Systems. Oct2008, Vol. 43 Issue 3/4, p362-393. 32p.

Fachzeitschrift
Merkliste
16

Arity-generic datatype-generic programming
Stephanie Weirich ; Chris Casinghino ; The Pennsylvania State University CiteSeerX Archives
http://www.seas.upenn.edu/~ccasin/papers/aritygen.pdf.

and structures frameworks General Terms... Languages Verification Keywords De... Arity-generic programmin... Agda …
Fachzeitschrift
Merkliste
17

Spring School on Datatype−Generic Programming
Backhouse, R ; Gibbons, J ; Hinze, R ; et al.

Konferenz
Merkliste
18

Generics, a library for datatype-generic programming in Agda
Lucas Escot ; Jesper Cockx ; orcid:0000-0001-9642-

agda Type Theory Generic Programming Dependent Types Metaprogramming
E-Ressource
Merkliste
19

An object-oriented approach to datatype-generic programming
Workshop on generic programming; WGP '06
Moors, A. ; Piessens, F. ; Joosen, W.
ACM SIGPLAN NOTICES. 41:10-10

Konferenz
Merkliste
20

Arity-generic datatype-generic programming
Weirich, Stephanie ; Casinghino, Chris
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification ; page 15-26

Konferenz
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter