Search Results - "Type Level Programming"
-
1
Authors:
Source: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell. :1-8
-
2
Authors: et al.
Contributors: et al.
Subject Terms: Human-Computer Interaction, microservices, Haskell, type level programming, Computer Vision and Pattern Recognition, type classes, Computer Graphics and Computer-Aided Design, Software, Computer Science Applications
File Description: application/pdf
Access URL: https://dspace.library.uu.nl/handle/1874/414657
-
3
Authors:
Source: The Art, Science, and Engineering of Programming. 4
Subject Terms: Type Level Programming, FOS: Computer and information sciences, Computer Science - Programming Languages, Scala, Multitier Programming, 0202 electrical engineering, electronic engineering, information engineering, Macro System, 02 engineering and technology, Distributed Programming, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: http://arxiv.org/pdf/2002.06184
http://arxiv.org/abs/2002.06184
http://arxiv.org/pdf/2002.06184.pdf
https://arxiv.org/abs/2002.06184
https://ui.adsabs.harvard.edu/abs/2020arXiv200206184W/abstract
https://dblp.uni-trier.de/db/journals/corr/corr2002.html#abs-2002-06184
https://programming -journal.org/2020/4/17/
https://doi.org/10.22152/programming -journal.org/2020/4/17
https://arxiv.org/pdf/2002.06184v1
http://doi.org/10.22152/programming -journal.org/2020/4/17 -
4
Authors: et al.
Contributors: et al.
Subject Terms: Haskell, Type-level programming, Mealy machine, Coalgebra, Combinator library
File Description: application/pdf
Relation: 978-1-59593-720-9
Availability: https://hdl.handle.net/1822/36548
-
5
Authors:
Contributors:
Subject Terms: Type-level programming, Haskell, Relational databases, SQL, Functional dependency theory
File Description: application/pdf
Relation: 1-59593-489-8
Availability: https://hdl.handle.net/1822/6570
-
6
Authors:
Source: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 44(9):245-256
Subject Terms: Performance, Standardization, HList, Class system, Attribute Grammars, Lazy evaluation, Languages, Design, Haskell, Type-level programming
Access URL: https://research.chalmers.se/publication/114914
-
7
Authors:
Contributors:
Source: COLIBRI
Universidad de la República
instacron:Universidad de la RepúblicaSubject Terms: Error Handling, Gramáticas de atributos, Programaci on a nivel de tipos, Compiler Design, Type-level programming, DSLs, Lenguajes de dominio específico, Attribute Grammars, Manejo de errores, Diseño de compiladores
File Description: application/pdf
Access URL: https://hdl.handle.net/20.500.12008/35114
-
8
Authors:
Source: WebSec: Säkerhet i webb-drivna system Octopi: Säker Programering för Sakernas Internet 31st Symposium on Implementation and Application of Functional Languages, Singapore, Singapore ACM International Conference Proceeding Series. 25 September 2019
Subject Terms: random testing, type-level programming, Haskell
-
9
Authors:
Source: Computer Science Faculty Research and Scholarship
Subject Terms: Haskell, type-level programming, type families, functional dependencies, injectivity, Programming Languages and Compilers
File Description: application/pdf
Relation: https://repository.brynmawr.edu/compsci_pubs/74; https://repository.brynmawr.edu/context/compsci_pubs/article/1070/viewcontent/injective_type_families.pdf
-
10
Authors:
Source: Computer Science Faculty Research and Scholarship
Subject Terms: Haskell, type-level programming, defunctionalization, Computer Sciences
File Description: application/pdf
Relation: https://repository.brynmawr.edu/compsci_pubs/13; https://repository.brynmawr.edu/context/compsci_pubs/article/1017/viewcontent/promotion_ext.pdf
-
11
Authors: Moghadas, Maryam
Thesis Advisors: Anand, Christopher, Kahl, Wolfram, Computing and Software
Subject Terms: type-safety, Inverse Imaging Problem, Type Level Programming, Haskell, Regularization, formalization, Numerical Analysis and Scientific Computing, Programming Languages and Compilers
Availability: http://hdl.handle.net/11375/12487
-
12
Authors: Buiras, Pablo, 1986
Subject Terms: covert timing channels, LIO, concurrency, type-level programming, floating-label, Haskell, internal timing, dynamic enforcement, DC labels, dynamic policies, lazy evaluation, information-flow control, cache-based attacks, language-based security, hybrid enforcement, flow-sensitivity, functional programming, privileges
Access URL: https://research.chalmers.se/publication/233668
-
13
Authors: et al.
Contributors: et al.
Subject Terms: techniques, Applicative (Functional) Programming General Terms Design, Languages, Performance, Standardiza- tion Keywords Attribute Grammars, Class system, Lazy evaluation, Type-level programming, Haskell, HList
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.654.8569; http://www.cs.ru.nl/%7Ewouters/Publications/AttributeGrammarsFly.pdf
-
14
Authors:
Contributors:
Subject Terms: tures, Records, H.2.1 [DatabaseManagement, Logical design— Data models, normal forms, Schema and subschema, H.2.3 [Data- base Management, Languages—Data manipulation languages, Query languages General Terms Algorithms, Design, Languages, Theory Keywords Type-level programming, Haskell, relational databases, SQL, functional dependency theory ∗ Supported by the Fundação para a Ciência e a Tecnologia, Portugal
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.513.1763; http://homepages.cwi.nl/~ams/publications/hw2006.pdf
Nájsť tento článok vo Web of Science 
Full Text Finder