Search Results - Theory Keywords Dependently Typed Programming*
-
1
Authors:
Contributors:
Subject Terms: Design, Languages, Theory Keywords Dependently Typed Programming, Inductive Families, Datatype-Generic Programming
File Description: application/pdf
-
2
Authors:
Source: Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 3, p1-44, 44p
-
3
Authors: BRADY, EDWIN
Source: Journal of Functional Programming; Sep2013, Vol. 23 Issue 5, p552-593, 42p
-
4
Authors: et al.
Source: ACM Transactions on Programming Languages & Systems; 2022, Vol. 44 Issue 2, p1-82, 82p
Subject Terms: CALCULUS of variations, PROGRAMMING languages, METATHEORY, TRIANGLES
-
5
Authors: Fiore, Marcelo
Source: Mathematical Structures in Computer Science; Sep2022, Vol. 32, p1028-1065, 38p
Subject Terms: LAMBDA calculus, LOGIC, PROGRAMMING languages, METATHEORY, SEMANTICS
-
6
Authors:
Contributors:
Subject Terms: Design, Languages, Theory Keywords Dependently typed programming, inductive families, program derivation
File Description: application/pdf
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory Keywords Dependent types, Termination, General recursion
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.5738; http://www.seas.upenn.edu/~vilhelm/papers/popl14combining.pdf
-
8
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory Keywords Dependent types, Congruence closure
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.5399; http://www.seas.upenn.edu/~vilhelm/papers/congruence.pdf
-
9
Authors: et al.
Source: Theory & Practice of Logic Programming; May2018, Vol. 18 Issue 3/4, p484-501, 18p
Subject Terms: HORN clauses, PROOF theory, DATA types (Computer science), LOGIC programming, PROBLEM solving
-
10
Authors:
Source: ACM Transactions on Computational Logic; Oct2022, Vol. 23 Issue 4, p1-36, 36p
Subject Terms: MODAL logic, FUNCTION spaces, RECURSIVE functions, MATHEMATICAL category theory, SYNTAX (Grammar), SEMANTICS
-
11
Authors: Viktor Vafeiadis
Resource Type: eBook.
Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses
PDF Full Text ePub Full Text -
12
Authors: Stephanie Weirich
Resource Type: eBook.
Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses
PDF Full Text ePub Full Text -
13
Authors: Thomas Wies
Resource Type: eBook.
Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses
Categories: COMPUTERS / Programming / Compilers
PDF Full Text ePub Full Text -
14
Authors: et al.
Source: Mathematical Structures in Computer Science; Feb2020, Vol. 30 Issue 2, p118-138, 21p
Subject Terms: MODAL logic, OPERATOR theory, MATHEMATICAL category theory
-
15
Authors:
Source: Journal of Logic & Computation; Dec2002, Vol. 12 Issue 6, p1061-1104, 44p
Subject Terms: MATHEMATICAL logic, METAMATHEMATICS, COMBINATORY logic, MODEL theory, TYPE theory, CALCULUS, FUNCTION spaces
-
16
Authors:
Source: Journal of Logic & Computation; Aug2019, Vol. 29 Issue 4, p469-486, 18p
Subject Terms: FIRST-order logic, LOGIC programming, LOGIC, PROGRAMMING languages, DEFINITIONS
-
17
Authors: Ilya Sergey
Resource Type: eBook.
Subjects: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses
Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General
PDF Full Text -
18
Authors: et al.
Source: Journal of Functional Programming; 2022, Vol. 32, p1-60, 60p
Subject Terms: WEB-based user interfaces, PROGRAMMING languages, TRUST, LINEAR network coding
-
19
Authors: Luís Caires
Resource Type: eBook.
Subjects: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing
Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General
PDF Full Text ePub Full Text -
20
Authors: Nobuko Yoshida
Resource Type: eBook.
Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)
Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing
PDF Full Text
Nájsť tento článok vo Web of Science 
Full Text Finder