Level-p-complexity of Boolean functions using thinning, memoization, and polynomials.
- Published in:
- Journal of Functional Programming, 2023, v. 33, p. 1, doi. 10.1017/S0956796823000102
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2023 AND VI 33
Results: 14
1
2
Trace contracts.
- Published in:
- Journal of Functional Programming, 2023, v. 33, p. 1, doi. 10.1017/S0956796823000096
- By:
- Publication type:
- Article
3
A correct-by-construction conversion from lambda calculus to combinatory logic.
- Published in:
- Journal of Functional Programming, 2023, v. 33, p. 1, doi. 10.1017/S0956796823000084
- By:
- Publication type:
- Article
4
Programming language semantics: It's easy as 1,2,3.
- Published in:
- Journal of Functional Programming, 2023, v. 33, p. 1, doi. 10.1017/S0956796823000072
- By:
- Publication type:
- Article
5
Normalization by evaluation for modal dependent type theory.
- Published in:
- Journal of Functional Programming, 2023, v. 33, p. 1, doi. 10.1017/S0956796823000060
- By:
- Publication type:
- Article
6
Contract lenses: Reasoning about bidirectional programs via calculation.
- Published in:
- Journal of Functional Programming, 2023, v. 33, p. 1, doi. 10.1017/S0956796823000059
- By:
- Publication type:
- Article
7
A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go.
- Published in:
- Journal of Functional Programming, 2023, v. 33, p. 1, doi. 10.1017/S0956796823000047
- By:
- Publication type:
- Article
8
PhD Abstracts.
- Published in:
- Journal of Functional Programming, 2023, v. 33, p. 1, doi. 10.1017/s0956796823000138
- By:
- Publication type:
- Article
9
Read/write factorizable programs.
- Published in:
- Journal of Functional Programming, 2023, v. 33, p. 1, doi. 10.1017/S0956796823000023
- By:
- Publication type:
- Article
10
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM.
- Published in:
- 2023
- By:
- Publication type:
- Correction Notice
11
Certified, total serialisers with an application to Huffman encoding.
- Published in:
- Journal of Functional Programming, 2023, v. 33, p. 1, doi. 10.1017/S095679682200017X
- By:
- Publication type:
- Article
12
Classical (co)recursion: Mechanics.
- Published in:
- Journal of Functional Programming, 2023, v. 33, p. 1, doi. 10.1017/S0956796822000168
- By:
- Publication type:
- Article
13
Folding left and right matters: Direct style, accumulators, and continuations.
- Published in:
- Journal of Functional Programming, 2023, v. 33, p. 1, doi. 10.1017/S0956796822000156
- By:
- Publication type:
- Article
14
Is sized typing for Coq practical?
- Published in:
- Journal of Functional Programming, 2023, v. 33, p. 1, doi. 10.1017/S0956796822000120
- By:
- Publication type:
- Article