Tag: pl.programming-languages
Found 207 results for 'pl.programming-languages'.
1) pl.programming-languages - Program Minimization
2) pl.programming-languages - Reynolds: "the basic laws of variable binding"
3) pl.programming-languages - Intuitive way to handle variable binding
4) pl.programming-languages - Program reasoning about own source code
5) pl.programming-languages - Full Completeness vs Full Abstraction of a program translation
6) pl.programming-languages - Preserving termination when rewriting recursive programs
7) reference-request - Can one automate algorithmic analysis?
8) pl.programming-languages - Conditional Dependencies in Compiler Semantic Analysis Passes
9) pl.programming-languages - How to define the formal and informal semantics of an algorithm as accurately as possible?
10) lo.logic - Busy Beaver Equivalent for the Untyped Lambda Calculus
11) pl.programming-languages - η-conversion vs extensionality in extensions of lambda-calculus
12) pl.programming-languages - Translation from basic While-language to $\lambda$-calculus
13) pl.programming-languages - Is there a sense in which we can say error returned from a function is the reverse of context?
14) pl.programming-languages - What are the equational laws for zero types?
15) lo.logic - Cut-elimination for calculus with nats or other inductive datatype?
16) reference-request - Unification-based elimination rule for equality
17) cc.complexity-theory - List of (unsolved) complexity problems arising from PL
18) pl.programming-languages - Programming Language Theory and Abstract Algebra
19) pl.programming-languages - Why naturals instead of integers?
20) lo.logic - When does (or should) Theoretical CS care about intuitionistic proofs?
21) pl.programming-languages - For a language to be programmable, is it mandatory that it be based on a context free grammar
22) pl.programming-languages - Is there such a thing as a state-based programming language?
23) reference-request - Formal Semantics of Programming Languages
24) pl.programming-languages - Does Standard ML validate (CBV) eta equivalence?
25) reference-request - How can I prove formally semantic equivalence of programming languages?
26) pl.programming-languages - Are there stronger notions of equivalence over lambda terms than beta equivalence?
27) pl.programming-languages - Formal representation of an abstraction hierarchy
28) cc.complexity-theory - Programming languages for efficient computation
29) computability - Can any program be implemented mechanically?
30) cc.complexity-theory - Simply-stated restriction on imperative programming language that captures the elementary functions?
31) pl.programming-languages - Static structure of program
32) pl.programming-languages - Removing recursion - a look into theory behind the scenes
33) pl.programming-languages - How to introduce recursion to Simply Typed Lambda Calculus while at the same time keeping strong normalisation?
34) pl.programming-languages - What's the difference between term rewriting and pattern matching?
35) graph-theory - Graph rewriting with one-to-many pattern matching?
36) pl.programming-languages - Difference between syntax and semantic error in programming languages
37) reference-request - References to programming languages based on conditional logics
38) pl.programming-languages - A question in constraint based analysis
39) pl.programming-languages - Is Escardó's metric semantic for PCF+timeouts fully abstract ?
40) reference-request - Compiler correctness proofs
41) lo.logic - Distinguishing semantics vs syntactic techniques and the syntax of your semantic domains
42) fl.formal-languages - What formalisms exist to describe the translation of an abstract syntax tree into another formal language?
43) cc.complexity-theory - Which interesting theorems in TCS rely on the Axiom of Choice? (Or alternatively, the Axiom of Determinacy?)
44) reference-request - Fixed point theorems for constructive metric spaces?
45) pl.programming-languages - A bicartesian closed category of strict complete partial orders (Hask)
46) pl.programming-languages - What's the relation between OOP and category theory?
47) pl.programming-languages - Are innermost reductions perpetual in untyped λ-calculus?
48) pl.programming-languages - Is it possible to compute whether two functions are extensional equal?
49) pl.programming-languages - Is infinitary Böhm-reduction wrt. root-active terms for $\lambda$-calculus transitive?
50) lambda-calculus - Using lambda calculus to derive time complexity?