![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Journal of Functional Programming, Volume 33
Volume 33, 2023
Research Article
- Jonathan Chan
, Yufeng Li, William J. Bowman
:
Is sized typing for Coq practical? e1
Functional Pearl
- Olivier Danvy
:
Folding left and right matters: Direct style, accumulators, and continuations. e2 - Olivier Danvy
:
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM. e3
- Paul Downen
, Zena M. Ariola:
Classical (co)recursion: Mechanics. e4 - Graham Hutton
:
Programming language semantics: It's easy as 1,2,3. - Graham Hutton:
PhD Abstracts. - Julia Jansson
, Patrik Jansson
:
Level-p-complexity of Boolean functions using thinning, memoization, and polynomials. - Ralf Hinze
:
Certified, total serialisers with an application to Huffman encoding. - Graham Hutton:
PhD Abstracts. - Hanliang Zhang, Wenhao Tang
, Ruifeng Xie, Meng Wang
, Zhenjiang Hu
:
Contract lenses: Reasoning about bidirectional programs via calculation. - Jason Z. S. Hu
, Junyoung Jang
, Brigitte Pientka:
Normalization by evaluation for modal dependent type theory. - Cameron Moy
, Matthias Felleisen:
Trace contracts. - Siddharth Bhaskar
, Jakob Grue Simonsen
:
Read/write factorizable programs. - Wouter Swierstra:
A correct-by-construction conversion from lambda calculus to combinatory logic. - Martin Sulzmann, Stefan Wehr
:
A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go.
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.