Search Results - "Dependently Typed Programming"
-
1
Authors:
Source: Proceedings of the ACM on Programming Languages. 6:411-437
Subject Terms: 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
-
2
Authors:
Contributors:
Subject Terms: 005.13, Type theory, Equivalence, Equality, Proof automation, Correct-by-construction software, Type-driven development, Idris, Proof by reflection, Formal certification, Proof assistant, Algebraic structure, Ring, Group, Semi-ring, Monoid, Semi-group, Dependent types, Dependently typed programming languages, Proof obligation
-
3
Authors:
Contributors:
Subject Terms: dependent types, computational effects, dependently typed programming languages
-
4
Authors: et al.
Contributors: et al.
Source: Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development. :1-13
Subject Terms: Technology, Science & Technology, monad, effectful, 02 engineering and technology, equational reasoning, Computer Science, Software Engineering, applicative, Computer Science, 0202 electrical engineering, electronic engineering, information engineering, dependently-typed programming, strong specification, extrinsic proofs, functor, Agda
Access URL: https://biblio.vub.ac.be/vubirfiles/48953103/final_preprint.pdf
https://dblp.uni-trier.de/db/conf/icfp/tyde2019.html#JacobsND19
https://researchportal.vub.be/en/publications/how-to-do-proofs-practically-proving-properties-about-effectful-p
https://doi.org/10.1145/3331554.3342603
https://dl.acm.org/citation.cfm?doid=3331554.3342603
https://cris.vub.be/ws/files/48953103/final_preprint.pdf
https://dl.acm.org/doi/10.1145/3331554.3342603
https://lirias.kuleuven.be/handle/123456789/643243
https://doi.org/10.1145/3331554.3342603 -
5
Authors: et al.
Contributors: et al.
Source: Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development. :2-15
Subject Terms: 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]
File Description: image/pdf
Access 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 -
6
Authors:
Source: Leibniz International Proceedings in Informatics, LIPIcs. 19:41-54
Subject Terms: dependently-typed programming, formalization, climate impact research, domain-specific languages
File Description: electronic
-
7
Authors: et al.
Contributors: et al.
Subject Terms: dependently typed programming, Agda, EDSL, hardware description languages, functional programming
File Description: application/pdf
Relation: Is Part Of LIPIcs, Volume 69, 21st International Conference on Types for Proofs and Programs (TYPES 2015) (2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2015.9
-
8
Authors: et al.
Contributors: et al.
Subject Terms: dependently typed programming
File Description: application/pdf
Relation: Is Part Of Dagstuhl Seminar Proceedings, Volume 4381, Dependently Typed Programming (2005); https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04381.1
-
9
Authors:
Contributors:
Subject Terms: dependently typed programming, singletons
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.4602; http://www.seas.upenn.edu/%7Esweirich/papers/haskell12.pdf
-
10
Authors:
Contributors:
Subject Terms: Design, Languages, Theory Keywords Dependently Typed Programming, Inductive Families, Datatype-Generic Programming
File Description: application/pdf
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Advanced Data Types, Dependently Typed Programming, Generic Programming, Epigram
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.176.5398; http://cs.nott.ac.uk/%7Epwm/papers/cats07.pdf
-
12
Authors: et al.
Contributors: et al.
Subject Terms: Collections, Extensible records, Type-safe database access, Dependently typed programming, Type-indexed rows, Type equality, Type improvement, Haskell Strongly Typed Heterogeneous Collections Oleg Kiselyov
File Description: application/pdf
-
13
Authors:
Contributors:
Subject Terms: General Terms, Design, Languages. Keywords, Collections, Extensible records, Type-safe database access, Dependently typed programming, Type-indexed rows, Type equality, Type improvement, Haskell
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.9906; http://homepages.cwi.nl/~ralf/HList/paper.pdf
-
14
Authors:
Contributors:
Source: https://hal.inria.fr/hal-00955444 ; 2004.
Subject Terms: Coq, matrices, dependently typed programming, modules, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: hal-00955444; https://hal.inria.fr/hal-00955444; https://hal.inria.fr/hal-00955444/document; https://hal.inria.fr/hal-00955444/file/matricesinCoq.pdf
-
15
Authors:
Source: Computer Science Faculty Research and Scholarship
Subject Terms: Haskell, dependently typed programming, singletons, GADTs, Computer Sciences, Programming Languages and Compilers
File Description: application/pdf
Relation: https://repository.brynmawr.edu/compsci_pubs/10; https://repository.brynmawr.edu/context/compsci_pubs/article/1009/viewcontent/Dependently_Typed_Programming_with_Singletons.pdf
-
16
Authors: Tejiščák, Matúš
Thesis Advisors: Swierstra, Wouter, Kučera, Petr
Subject Terms: závisle typované programování, dependently-typed programming, correctness, certified compiler, certifikovaný kompilátor, exceptions, výjimky, korektnost
Availability: http://www.nusl.cz/ntk/nusl-305104
-
17
Authors: et al.
Contributors: et al.
Subject Terms: Dependently typed programming, interactive programs, coalgebras, weakly final coalgebras, coiteration, corecursion, monad
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.1765; http://drops.dagstuhl.de/opus/volltexte/2005/176/pdf/04381.SetzerAnton.Paper.176.pdf
-
18
Authors:
Contributors:
Subject Terms: Dependently typed programming, interactive programs, coalgebras, weakly final coalgebras, coiteration, corecursion, monad
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.3371; http://www.cs.swan.ac.uk/~csetzer/articles/dagstuhl2004.pdf
-
19
Authors:
Contributors:
Subject Terms: Dependently typed programming, interactive programs, coalgebras, weakly final coalgebras, coiteration, corecursion, monad? Supported by Nuffield Foundation, grant ref. NAL/00303/G and EPSRC grant
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.8185; http://www.cs.swan.ac.uk/~csetzer/articles/dagstuhl2004.ps
-
20
Authors:
Contributors:
Subject Terms: Design, Languages, Theory Keywords Dependently typed programming, inductive families, program derivation
File Description: application/pdf
Full Text Finder 
Nájsť tento článok vo Web of Science