Sekiyama, Taro; Tsukada, Takeshi; Igarashi, Atsushi Signature restriction for polymorphic algebraic effects. (English) Zbl 07902688 J. Funct. Program. 34, Paper No. e7, 44 p. (2024). MSC: 68N18 PDFBibTeX XMLCite \textit{T. Sekiyama} et al., J. Funct. Program. 34, Paper No. e7, 44 p. (2024; Zbl 07902688) Full Text: DOI arXiv OA License
Sperber, Michael Book review of: S. Maguire, Algebra-driven design. (English) Zbl 07870941 J. Funct. Program. 34, Paper No. e6, 4 p. (2024). MSC: 00A17 PDFBibTeX XMLCite \textit{M. Sperber}, J. Funct. Program. 34, Paper No. e6, 4 p. (2024; Zbl 07870941) Full Text: DOI OA License
Hillerström, Daniel; Lindley, Sam; Longley, John Asymptotic speedup via effect handlers. (English) Zbl 07870940 J. Funct. Program. 34, Paper No. e5, 54 p. (2024). MSC: 68N18 PDFBibTeX XMLCite \textit{D. Hillerström} et al., J. Funct. Program. 34, Paper No. e5, 54 p. (2024; Zbl 07870940) Full Text: DOI OA License
Su, Chenghao; Chen, Lin; Yanhui, Li; Zhou, Yuming Static blame for gradual typing. (English) Zbl 07870939 J. Funct. Program. 34, Paper No. e4, 44 p. (2024). MSC: 68N18 PDFBibTeX XMLCite \textit{C. Su} et al., J. Funct. Program. 34, Paper No. e4, 44 p. (2024; Zbl 07870939) Full Text: DOI OA License
Moy, Cameron Knuth-Morris-Pratt illustrated. (English) Zbl 07834331 J. Funct. Program. 34, Paper No. e3, 10 p. (2024). MSC: 68N18 PDFBibTeX XMLCite \textit{C. Moy}, J. Funct. Program. 34, Paper No. e3, 10 p. (2024; Zbl 07834331) Full Text: DOI OA License
Matsuda, Kazutaka; Wang, Meng Sparcl: a language for partially invertible computation. (English) Zbl 07834330 J. Funct. Program. 34, Paper No. e2, 50 p. (2024). MSC: 68N18 PDFBibTeX XMLCite \textit{K. Matsuda} and \textit{M. Wang}, J. Funct. Program. 34, Paper No. e2, 50 p. (2024; Zbl 07834330) Full Text: DOI OA License
Graversen, Eva; Hirsch, Andrew K.; Montesi, Fabrizio Alice or Bob?: Process polymorphism in choreographies. (English) Zbl 07834329 J. Funct. Program. 34, Paper No. e1, 54 p. (2024). MSC: 68N18 PDFBibTeX XMLCite \textit{E. Graversen} et al., J. Funct. Program. 34, Paper No. e1, 54 p. (2024; Zbl 07834329) Full Text: DOI arXiv OA License
Hutton, Graham PhD abstracts. (English) Zbl 07834328 J. Funct. Program. 33, Paper No. e15, 3 p. (2023). MSC: 68N18 PDFBibTeX XMLCite \textit{G. Hutton}, J. Funct. Program. 33, Paper No. e15, 3 p. (2023; Zbl 07834328) Full Text: DOI OA License
Jansson, Julia; Jansson, Patrik Level-\(p\)-complexity of Boolean functions using thinning, memoization, and polynomials. (English) Zbl 07834327 J. Funct. Program. 33, Paper No. e13, 21 p. (2023). MSC: 68N18 PDFBibTeX XMLCite \textit{J. Jansson} and \textit{P. Jansson}, J. Funct. Program. 33, Paper No. e13, 21 p. (2023; Zbl 07834327) Full Text: DOI arXiv OA License
Moy, Cameron; Felleisen, Matthias Trace contracts. (English) Zbl 07834326 J. Funct. Program. 33, Paper No. e14, 43 p. (2023). MSC: 68N18 PDFBibTeX XMLCite \textit{C. Moy} and \textit{M. Felleisen}, J. Funct. Program. 33, Paper No. e14, 43 p. (2023; Zbl 07834326) Full Text: DOI OA License
Hinze, Ralf Certified, total serialisers with an application to Huffman encoding. (English) Zbl 07834325 J. Funct. Program. 33, Paper No. e12, 18 p. (2023). MSC: 68N18 PDFBibTeX XMLCite \textit{R. Hinze}, J. Funct. Program. 33, Paper No. e12, 18 p. (2023; Zbl 07834325) Full Text: DOI OA License
Swierstra, Wouter A correct-by-construction conversion from lambda calculus to combinatory logic. (English) Zbl 07775450 J. Funct. Program. 33, Paper No. e11, 9 p. (2023). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{W. Swierstra}, J. Funct. Program. 33, Paper No. e11, 9 p. (2023; Zbl 07775450) Full Text: DOI OA License
Zhang, Hanliang; Tang, Wenhao; Xie, Ruifeng; Wang, Meng; Hu, Zhenjiang Contract lenses: reasoning about bidirectional programs via calculation. (English) Zbl 07775449 J. Funct. Program. 33, Paper No. e10, 41 p. (2023). MSC: 68N18 68N30 PDFBibTeX XMLCite \textit{H. Zhang} et al., J. Funct. Program. 33, Paper No. e10, 41 p. (2023; Zbl 07775449) Full Text: DOI OA License
Hutton, Graham Programming language semantics: it’s easy as 1, 2, 3. (English) Zbl 07775448 J. Funct. Program. 33, Paper No. e9, 26 p. (2023). MSC: 68N15 68N18 68Q55 PDFBibTeX XMLCite \textit{G. Hutton}, J. Funct. Program. 33, Paper No. e9, 26 p. (2023; Zbl 07775448) Full Text: DOI OA License
Sulzmann, Martin; Wehr, Stefan A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go. (English) Zbl 07775447 J. Funct. Program. 33, Paper No. e8, 63 p. (2023). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{M. Sulzmann} and \textit{S. Wehr}, J. Funct. Program. 33, Paper No. e8, 63 p. (2023; Zbl 07775447) Full Text: DOI arXiv OA License
Hu, Jason Z. S.; Jang, Junyoung; Pientka, Brigitte Normalization by evaluation for modal dependent type theory. (English) Zbl 07775446 J. Funct. Program. 33, Paper No. e7, 51 p. (2023). MSC: 68N18 03B38 03B45 PDFBibTeX XMLCite \textit{J. Z. S. Hu} et al., J. Funct. Program. 33, Paper No. e7, 51 p. (2023; Zbl 07775446) Full Text: DOI OA License
Danvy, Olivier Erratum to: “Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant”. (English) Zbl 1518.68039 J. Funct. Program. 33, Paper No. e3, 1 p. (2023). MSC: 68N18 68V15 PDFBibTeX XMLCite \textit{O. Danvy}, J. Funct. Program. 33, Paper No. e3, 1 p. (2023; Zbl 1518.68039) Full Text: DOI
Hutton, Graham PhD abstracts. (English) Zbl 07724343 J. Funct. Program. 33, Paper No. e6, 7 p. (2023). MSC: 68N18 PDFBibTeX XMLCite \textit{G. Hutton}, J. Funct. Program. 33, Paper No. e6, 7 p. (2023; Zbl 07724343) Full Text: DOI
Bhaskar, Siddharth; Simonsen, Jakob Grue Read/write factorizable programs. (English) Zbl 07724342 J. Funct. Program. 33, Paper No. e5, 50 p. (2023). MSC: 68N18 PDFBibTeX XMLCite \textit{S. Bhaskar} and \textit{J. G. Simonsen}, J. Funct. Program. 33, Paper No. e5, 50 p. (2023; Zbl 07724342) Full Text: DOI
Downen, Paul; Ariola, Zena M. Classical (co)recursion: mechanics. (English) Zbl 07712927 J. Funct. Program. 33, Paper No. e4, 63 p. (2023). MSC: 68N18 PDFBibTeX XMLCite \textit{P. Downen} and \textit{Z. M. Ariola}, J. Funct. Program. 33, Paper No. e4, 63 p. (2023; Zbl 07712927) Full Text: DOI arXiv
Danvy, Olivier Folding left and right matters: direct style, accumulators, and continuations. (English) Zbl 07697870 J. Funct. Program. 33, Paper No. e2, 40 p. (2023). MSC: 68N18 PDFBibTeX XMLCite \textit{O. Danvy}, J. Funct. Program. 33, Paper No. e2, 40 p. (2023; Zbl 07697870) Full Text: DOI
Chan, Jonathan; Li, Yufeng; Bowman, William J. Is sized typing for coq practical? (English) Zbl 07697869 J. Funct. Program. 33, Paper No. e1, 55 p. (2023). MSC: 68N18 PDFBibTeX XMLCite \textit{J. Chan} et al., J. Funct. Program. 33, Paper No. e1, 55 p. (2023; Zbl 07697869) Full Text: DOI arXiv
Hutton, Graham PhD abstracts. (English) Zbl 07697868 J. Funct. Program. 32, Paper No. e17, 9 p. (2022). MSC: 68N18 PDFBibTeX XMLCite \textit{G. Hutton}, J. Funct. Program. 32, Paper No. e17, 9 p. (2022; Zbl 07697868) Full Text: DOI
Chuang, Cheng-En; Iraci, Grant; Ziarek, Lukasz Send to me first: priority in synchronous message-passing. (English) Zbl 07697867 J. Funct. Program. 32, Paper No. e16, 40 p. (2022). MSC: 68N18 PDFBibTeX XMLCite \textit{C.-E. Chuang} et al., J. Funct. Program. 32, Paper No. e16, 40 p. (2022; Zbl 07697867) Full Text: DOI
Bahr, Patrick Modal FRP for all: functional reactive programming without space leaks in Haskell. (English) Zbl 07697866 J. Funct. Program. 32, Paper No. e15, 48 p. (2022). MSC: 68N18 PDFBibTeX XMLCite \textit{P. Bahr}, J. Funct. Program. 32, Paper No. e15, 48 p. (2022; Zbl 07697866) Full Text: DOI
Campora, John Peter III; Chen, Sheng; Erwig, Martin; Walkingshaw, Eric Migrating gradual types. (English) Zbl 1511.68051 J. Funct. Program. 32, Paper No. e14, 60 p. (2022). MSC: 68N18 PDFBibTeX XMLCite \textit{J. P. Campora III} et al., J. Funct. Program. 32, Paper No. e14, 60 p. (2022; Zbl 1511.68051) Full Text: DOI
Danvy, Olivier Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant. (English) Zbl 1511.68052 J. Funct. Program. 32, Paper No. e13, 27 p. (2022); erratum ibid. 33, Paper No. e3, 1 p. (2023). MSC: 68N18 68V15 PDFBibTeX XMLCite \textit{O. Danvy}, J. Funct. Program. 32, Paper No. e13, 27 p. (2022; Zbl 1511.68052) Full Text: DOI
Koronkevich, Paulette; Rakow, Ramon; Ahmed, Amal; Bowman, William J. ANF preserves dependent types up to extensional equality. (English) Zbl 1511.68055 J. Funct. Program. 32, Paper No. e12, 53 p. (2022). MSC: 68N18 PDFBibTeX XMLCite \textit{P. Koronkevich} et al., J. Funct. Program. 32, Paper No. e12, 53 p. (2022; Zbl 1511.68055) Full Text: DOI
Annenkov, Danil; Milo, Mikkel; Nielsen, Jakob Botsch; Spitters, Bas Extracting functional programs from Coq, in Coq. (English) Zbl 07581654 J. Funct. Program. 32, Paper No. e11, 60 p. (2022). MSC: 68N18 PDFBibTeX XMLCite \textit{D. Annenkov} et al., J. Funct. Program. 32, Paper No. e11, 60 p. (2022; Zbl 07581654) Full Text: DOI arXiv
Swierstra, Wouter A well-known representation of monoids and its application to the function ‘vector reverse’. (English) Zbl 07581653 J. Funct. Program. 32, Paper No. e10, 16 p. (2022). MSC: 68N18 PDFBibTeX XMLCite \textit{W. Swierstra}, J. Funct. Program. 32, Paper No. e10, 16 p. (2022; Zbl 07581653) Full Text: DOI
Perna, Stefano; Tannen, Val; Wong, Limsoon Iterating on multiple collections in synchrony. (English) Zbl 07581652 J. Funct. Program. 32, Paper No. e9, 53 p. (2022). MSC: 68N18 PDFBibTeX XMLCite \textit{S. Perna} et al., J. Funct. Program. 32, Paper No. e9, 53 p. (2022; Zbl 07581652) Full Text: DOI
Danner, Norman; Licata, Daniel R. Denotational semantics as a foundation for cost recurrence extraction for functional languages. (English) Zbl 07581651 J. Funct. Program. 32, Paper No. e8, 73 p. (2022). MSC: 68N18 PDFBibTeX XMLCite \textit{N. Danner} and \textit{D. R. Licata}, J. Funct. Program. 32, Paper No. e8, 73 p. (2022; Zbl 07581651) Full Text: DOI arXiv
Pruiksma, Klaas; Pfenning, Frank Back to futures. (English) Zbl 07492705 J. Funct. Program. 32, Paper No. e6, 34 p. (2022). MSC: 68N19 03B70 PDFBibTeX XMLCite \textit{K. Pruiksma} and \textit{F. Pfenning}, J. Funct. Program. 32, Paper No. e6, 34 p. (2022; Zbl 07492705) Full Text: DOI arXiv
Hinze, Ralf; Runciman, Colin Super-naturals. (English) Zbl 07492704 J. Funct. Program. 32, Paper No. e5, 19 p. (2022). MSC: 68N18 68P05 PDFBibTeX XMLCite \textit{R. Hinze} and \textit{C. Runciman}, J. Funct. Program. 32, Paper No. e5, 19 p. (2022; Zbl 07492704) Full Text: DOI
Iwasaki, Hideya; Emoto, Kento; Morihata, Akimasa; Matsuzaki, Kiminori; Hu, Zhenjiang Fregel: a functional domain-specific language for vertex-centric large-scale graph processing. (English) Zbl 07492703 J. Funct. Program. 32, Paper No. e4, 69 p. (2022). MSC: 68N18 68N19 68R10 PDFBibTeX XMLCite \textit{H. Iwasaki} et al., J. Funct. Program. 32, Paper No. e4, 69 p. (2022; Zbl 07492703) Full Text: DOI
Dreyer, Derek (ed.); Pierce, Benjamin C. (ed.) [Pierce, Benjamin C.; Morrisett, Greg; Stone, Christopher A.; Cheng, Perry; Acar, Umut A.; Dreyer, Derek; Petersen, Leaf; Agarwal, Ashish; Murphy, Tom VII; Spoonhower, Daniel; Licata, Dan; Hou, Kuen-Bang; Tassarotti, Joseph; Angiuli, Carlo; Cavallo, Evan; Sterling, Jonathan] Editorial. On being a PhD student of Robert Harper. (English) Zbl 1481.01015 J. Funct. Program. 32, Paper No. e3, 13 p. (2022). MSC: 01A70 00B30 PDFBibTeX XMLCite \textit{D. Dreyer} (ed.) and \textit{B. C. Pierce} (ed.), J. Funct. Program. 32, Paper No. e3, 13 p. (2022; Zbl 1481.01015) Full Text: DOI
Mu, Shin-Cheng; Chiang, Tsung-Ju Longest segment of balanced parentheses: an exercise in program inversion in a segment problem. (English) Zbl 1529.68081 J. Funct. Program. 31, Paper No. e31, 10 p. (2021). MSC: 68N30 68N18 PDFBibTeX XMLCite \textit{S.-C. Mu} and \textit{T.-J. Chiang}, J. Funct. Program. 31, Paper No. e31, 10 p. (2021; Zbl 1529.68081) Full Text: DOI arXiv
Siek, Jeremy G.; Chen, Tianyu Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi. (English) Zbl 1530.68064 J. Funct. Program. 31, Paper No. e30, 73 p. (2021). MSC: 68N18 03B40 68V20 PDFBibTeX XMLCite \textit{J. G. Siek} and \textit{T. Chen}, J. Funct. Program. 31, Paper No. e30, 73 p. (2021; Zbl 1530.68064) Full Text: DOI arXiv
Bird, Richard; Mu, Shin-Cheng A greedy algorithm for dropping digits. (English) Zbl 1529.68316 J. Funct. Program. 31, Paper No. e29, 9 p. (2021). MSC: 68W05 03B70 68W40 PDFBibTeX XMLCite \textit{R. Bird} and \textit{S.-C. Mu}, J. Funct. Program. 31, Paper No. e29, 9 p. (2021; Zbl 1529.68316) Full Text: DOI
Huang, Xuejing; Zhao, Jinxu; Oliveira, Bruno C. d. S. Taming the merge operator. (English) Zbl 1519.68049 J. Funct. Program. 31, Paper No. e28, 67 p. (2021). MSC: 68N18 03B70 68V20 PDFBibTeX XMLCite \textit{X. Huang} et al., J. Funct. Program. 31, Paper No. e28, 67 p. (2021; Zbl 1519.68049) Full Text: DOI
Qu, Weihao; Gaboardi, Marco; Garg, Deepak Relational cost analysis in a functional-imperative setting. (English) Zbl 1529.68076 J. Funct. Program. 31, Paper No. e27, 62 p. (2021). MSC: 68N18 PDFBibTeX XMLCite \textit{W. Qu} et al., J. Funct. Program. 31, Paper No. e27, 62 p. (2021; Zbl 1529.68076) Full Text: DOI arXiv
Brede, Nuria; Botta, Nicola On the correctness of monadic backward induction. (English) Zbl 1522.68120 J. Funct. Program. 31, Paper No. e26, 39 p. (2021). MSC: 68N18 18C20 PDFBibTeX XMLCite \textit{N. Brede} and \textit{N. Botta}, J. Funct. Program. 31, Paper No. e26, 39 p. (2021; Zbl 1522.68120) Full Text: DOI arXiv
O’Connor, Liam; Chen, Zilin; Rizkallah, Christine; Jackson, Vincent; Amani, Sidney; Klein, Gerwin; Murray, Toby; Sewell, Thomas; Keller, Gabriele Cogent: uniqueness types and certifying compilation. (English) Zbl 1522.68128 J. Funct. Program. 31, Paper No. e25, 66 p. (2021). MSC: 68N18 68N20 68N25 68N30 PDFBibTeX XMLCite \textit{L. O'Connor} et al., J. Funct. Program. 31, Paper No. e25, 66 p. (2021; Zbl 1522.68128) Full Text: DOI
Botta, Nicola; Brede, Nuria; Jansson, Patrik; Richter, Tim Extensional equality preservation and verified generic programming. (English) Zbl 1522.68119 J. Funct. Program. 31, Paper No. e24, 24 p. (2021). MSC: 68N18 03B38 03B70 18C20 68Q65 PDFBibTeX XMLCite \textit{N. Botta} et al., J. Funct. Program. 31, Paper No. e24, 24 p. (2021; Zbl 1522.68119) Full Text: DOI arXiv
Allais, Guillaume; Atkey, Robert; Chapman, James; McBride, Conor; McKinna, James A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. (English) Zbl 1522.68118 J. Funct. Program. 31, Paper No. e22, 55 p. (2021). MSC: 68N18 68N15 68N30 68Q55 PDFBibTeX XMLCite \textit{G. Allais} et al., J. Funct. Program. 31, Paper No. e22, 55 p. (2021; Zbl 1522.68118) Full Text: DOI arXiv
New, Max S.; Licata, Daniel R.; Ahmed, Amal Gradual type theory. (English) Zbl 1522.68127 J. Funct. Program. 31, Paper No. e21, 139 p. (2021). MSC: 68N18 68N15 68N30 PDFBibTeX XMLCite \textit{M. S. New} et al., J. Funct. Program. 31, Paper No. e21, 139 p. (2021; Zbl 1522.68127) Full Text: DOI
Siek, Jeremy G.; Thiemann, Peter; Wadler, Philip Blame and coercion: together again for the first time. (English) Zbl 1522.68130 J. Funct. Program. 31, Paper No. e20, 56 p. (2021). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{J. G. Siek} et al., J. Funct. Program. 31, Paper No. e20, 56 p. (2021; Zbl 1522.68130) Full Text: DOI
Shivkumar, Bhargav; Murphy, Jeffrey; Ziarek, Lukasz Real-time MLton: a standard ML runtime for real-time functional programs. (English) Zbl 1522.68129 J. Funct. Program. 31, Paper No. e19, 51 p. (2021). MSC: 68N18 68N15 68N20 PDFBibTeX XMLCite \textit{B. Shivkumar} et al., J. Funct. Program. 31, Paper No. e19, 51 p. (2021; Zbl 1522.68129) Full Text: DOI
Breitner, Joachim; Spector-Zabusky, Antal; Li, Yao; Rizkallah, Christine; Wiegley, John; Cohen, Joshua; Weirich, Stephanie Ready, set, verify! Applying hs-to-coq to real-world Haskell code. (English) Zbl 1522.68121 J. Funct. Program. 31, Paper No. e5, 41 p. (2021). MSC: 68N18 68Q60 68V15 PDFBibTeX XMLCite \textit{J. Breitner} et al., J. Funct. Program. 31, Paper No. e5, 41 p. (2021; Zbl 1522.68121) Full Text: DOI arXiv
Andersen, Kristoffer Just Arndal; Sergey, Ilya Protocol combinators for modeling, testing, and execution of distributed systems. (English) Zbl 1522.68141 J. Funct. Program. 31, Paper No. e3, 29 p. (2021). MSC: 68N30 68M14 68W20 PDFBibTeX XMLCite \textit{K. J. A. Andersen} and \textit{I. Sergey}, J. Funct. Program. 31, Paper No. e3, 29 p. (2021; Zbl 1522.68141) Full Text: DOI
Kiselyov, Oleg; Mu, Shin-Cheng; Sabry, Amr Not by equations alone. Reasoning with extensible effects. (English) Zbl 1522.68124 J. Funct. Program. 31, Paper No. e2, 42 p. (2021). MSC: 68N18 68N30 68Q55 PDFBibTeX XMLCite \textit{O. Kiselyov} et al., J. Funct. Program. 31, Paper No. e2, 42 p. (2021; Zbl 1522.68124) Full Text: DOI
Filinski, Andrzej Proof-directed program transformation: a functional account of efficient regular expression matching. (English) Zbl 1522.68151 J. Funct. Program. 31, Paper No. e12, 38 p. (2021). MSC: 68N30 68Q45 PDFBibTeX XMLCite \textit{A. Filinski}, J. Funct. Program. 31, Paper No. e12, 38 p. (2021; Zbl 1522.68151) Full Text: DOI
Sterling, Jonathan Higher order functions and Brouwer’s thesis. (English) Zbl 1520.03016 J. Funct. Program. 31, Paper No. e11, 33 p. (2021). MSC: 03F50 03B40 03F10 68N18 PDFBibTeX XMLCite \textit{J. Sterling}, J. Funct. Program. 31, Paper No. e11, 33 p. (2021; Zbl 1520.03016) Full Text: DOI arXiv
Erwig, Martin; Kumar, Prashant Explainable dynamic programming. (English) Zbl 1522.68122 J. Funct. Program. 31, Paper No. e10, 26 p. (2021). MSC: 68N18 90C39 PDFBibTeX XMLCite \textit{M. Erwig} and \textit{P. Kumar}, J. Funct. Program. 31, Paper No. e10, 26 p. (2021; Zbl 1522.68122) Full Text: DOI
Skorstengaard, Lau; Devriese, Dominique; Birkedal, Lars StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities. (English) Zbl 1522.68164 J. Funct. Program. 31, Paper No. e9, 75 p. (2021). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{L. Skorstengaard} et al., J. Funct. Program. 31, Paper No. e9, 75 p. (2021; Zbl 1522.68164) Full Text: DOI arXiv
Vezzosi, Andrea; Mörtberg, Anders; Abel, Andreas Cubical Agda: a dependently typed programming language with univalence and higher inductive types. (English) Zbl 1512.68058 J. Funct. Program. 31, Paper No. e8, 47 p. (2021). MSC: 68N18 55U35 PDFBibTeX XMLCite \textit{A. Vezzosi} et al., J. Funct. Program. 31, Paper No. e8, 47 p. (2021; Zbl 1512.68058) Full Text: DOI
Morihata, Akimasa Lambda calculus with algebraic simplification for reduction parallelisation: extended study. (English) Zbl 1522.68126 J. Funct. Program. 31, Paper No. e7, 40 p. (2021). MSC: 68N18 68N19 PDFBibTeX XMLCite \textit{A. Morihata}, J. Funct. Program. 31, Paper No. e7, 40 p. (2021; Zbl 1522.68126) Full Text: DOI
Van Strydonck, Thomas; Piessens, Frank; Devriese, Dominique Linear capabilities for fully abstract compilation of separation-logic-verified code. (English) Zbl 1522.68138 J. Funct. Program. 31, Paper No. e6, 55 p. (2021). MSC: 68N20 03B70 68N30 PDFBibTeX XMLCite \textit{T. Van Strydonck} et al., J. Funct. Program. 31, Paper No. e6, 55 p. (2021; Zbl 1522.68138) Full Text: DOI
Affeldt, Reynald; Garrigue, Jacques; Nowak, David; Saikawa, Takafumi A trustful monad for axiomatic reasoning with probability and nondeterminism. (English) Zbl 1493.03004 J. Funct. Program. 31, Paper No. e17, 38 p. (2021). Reviewer: Alexandre Goy (Lyon) MSC: 03B70 03B35 68N18 68V15 PDFBibTeX XMLCite \textit{R. Affeldt} et al., J. Funct. Program. 31, Paper No. e17, 38 p. (2021; Zbl 1493.03004) Full Text: DOI arXiv
Grust, Torsten Book review of: R. Bird and J. Gibbons, Algorithm design with Haskell. (English) Zbl 1484.00026 J. Funct. Program. 30, Paper No. e29, 3 p. (2020). MSC: 00A17 68-01 68N18 68W01 PDFBibTeX XMLCite \textit{T. Grust}, J. Funct. Program. 30, Paper No. e29, 3 p. (2020; Zbl 1484.00026) Full Text: DOI
Abel, Andreas; Cockx, Jesper; Devriese, Dominique; Timany, Amin; Wadler, Philip Leibniz equality is isomorphic to Martin-Löf identity, parametrically. (English) Zbl 1479.03010 J. Funct. Program. 30, Paper No. e17, 14 p. (2020). MSC: 03B38 68V15 PDFBibTeX XMLCite \textit{A. Abel} et al., J. Funct. Program. 30, Paper No. e17, 14 p. (2020; Zbl 1479.03010) Full Text: DOI
Karachalias, Georgios; Pretnar, Matija; Saleh, Amr Hany; Vanderhallen, Stien; Schrijvers, Tom Explicit effect subtyping. (English) Zbl 1482.68081 J. Funct. Program. 30, Paper No. e15, 57 p. (2020). MSC: 68N18 68N30 PDFBibTeX XMLCite \textit{G. Karachalias} et al., J. Funct. Program. 30, Paper No. e15, 57 p. (2020; Zbl 1482.68081) Full Text: DOI
Accattoli, Beniamino; Graham-Lengrand, Stéphane; Kesner, Delia Tight typings and split bounds, fully developed. (English) Zbl 1482.68077 J. Funct. Program. 30, Paper No. e14, 101 p. (2020). MSC: 68N18 68N30 PDFBibTeX XMLCite \textit{B. Accattoli} et al., J. Funct. Program. 30, Paper No. e14, 101 p. (2020; Zbl 1482.68077) Full Text: DOI arXiv
Lukšič, Žiga; Pretnar, Matija Local algebraic effect theories. (English) Zbl 1482.68091 J. Funct. Program. 30, Paper No. e13, 27 p. (2020). MSC: 68N30 03B70 68N18 PDFBibTeX XMLCite \textit{Ž. Lukšič} and \textit{M. Pretnar}, J. Funct. Program. 30, Paper No. e13, 27 p. (2020; Zbl 1482.68091) Full Text: DOI arXiv
Perez, Ivan; Goodloe, Alwyn E. Fault-tolerant functional reactive programming (extended version). (English) Zbl 1482.68083 J. Funct. Program. 30, Paper No. e12, 41 p. (2020). MSC: 68N18 PDFBibTeX XMLCite \textit{I. Perez} and \textit{A. E. Goodloe}, J. Funct. Program. 30, Paper No. e12, 41 p. (2020; Zbl 1482.68083) Full Text: DOI
Mokhov, Andrey; Mitchell, Neil; Peyton Jones, Simon Build systems à la carte: theory and practice. (English) Zbl 1442.68029 J. Funct. Program. 30, Paper No. e11, 55 p. (2020). MSC: 68N18 PDFBibTeX XMLCite \textit{A. Mokhov} et al., J. Funct. Program. 30, Paper No. e11, 55 p. (2020; Zbl 1442.68029) Full Text: DOI
Swierstra, Wouter Heterogeneous binary random-access lists. (English) Zbl 1442.68032 J. Funct. Program. 30, Paper No. e10, 10 p. (2020). MSC: 68N18 PDFBibTeX XMLCite \textit{W. Swierstra}, J. Funct. Program. 30, Paper No. e10, 10 p. (2020; Zbl 1442.68032) Full Text: DOI
Convent, Lukas; Lindley, Sam; McBride, Conor; McLaughlin, Craig Doo bee doo bee doo. (English) Zbl 1442.68026 J. Funct. Program. 30, Paper No. e9, 53 p. (2020). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{L. Convent} et al., J. Funct. Program. 30, Paper No. e9, 53 p. (2020; Zbl 1442.68026) Full Text: DOI
Brachthäuser, Jonathan Immanuel; Schuster, Philipp; Ostermann, Klaus Effekt: capability-passing style for type- and effect-safe, extensible effect handlers in Scala. (English) Zbl 1442.68024 J. Funct. Program. 30, Paper No. e8, 46 p. (2020). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{J. I. Brachthäuser} et al., J. Funct. Program. 30, Paper No. e8, 46 p. (2020; Zbl 1442.68024) Full Text: DOI
Kiselyov, Oleg Many more predecessors: a representation workout. (English) Zbl 1444.03018 J. Funct. Program. 30, Paper No. e7, 13 p. (2020). MSC: 03B40 PDFBibTeX XMLCite \textit{O. Kiselyov}, J. Funct. Program. 30, Paper No. e7, 13 p. (2020; Zbl 1444.03018) Full Text: DOI
Tanter, Éric Book review of: D. P. Friedman and C. Eatlund, The little prover. (English) Zbl 1462.00024 J. Funct. Program. 30, Paper No. e6, 2 p. (2020). MSC: 00A17 68-01 68N01 68V15 PDFBibTeX XMLCite \textit{É. Tanter}, J. Funct. Program. 30, Paper No. e6, 2 p. (2020; Zbl 1462.00024) Full Text: DOI
Hillerström, Daniel; Lindley, Sam; Atkey, Robert Effect handlers via generalised continuations. (English) Zbl 1442.68028 J. Funct. Program. 30, Paper No. e5, 69 p. (2020). MSC: 68N18 PDFBibTeX XMLCite \textit{D. Hillerström} et al., J. Funct. Program. 30, Paper No. e5, 69 p. (2020; Zbl 1442.68028) Full Text: DOI
Bird, Richard S. An optimal, purely functional implementation of the Garsia-Wachs algorithm. (English) Zbl 1442.68284 J. Funct. Program. 30, Paper No. e3, 13 p. (2020). MSC: 68W40 68N18 PDFBibTeX XMLCite \textit{R. S. Bird}, J. Funct. Program. 30, Paper No. e3, 13 p. (2020; Zbl 1442.68284) Full Text: DOI
Cockx, Jesper; Abel, Andreas Elaborating dependent (co)pattern matching: no pattern left behind. (English) Zbl 1442.68025 J. Funct. Program. 30, Paper No. e2, 43 p. (2020). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{J. Cockx} and \textit{A. Abel}, J. Funct. Program. 30, Paper No. e2, 43 p. (2020; Zbl 1442.68025) Full Text: DOI
Abel, Andreas; Allais, Guillaume; Hameer, Aliya; Pientka, Brigitte; Momigliano, Alberto; Schäfer, Steven; Stark, Kathrin POPLMark reloaded: mechanizing proofs by logical relations. (English) Zbl 1442.68257 J. Funct. Program. 29, Paper No. e19, 43 p. (2019). MSC: 68V15 68N15 PDFBibTeX XMLCite \textit{A. Abel} et al., J. Funct. Program. 29, Paper No. e19, 43 p. (2019; Zbl 1442.68257) Full Text: DOI
Hamana, Makoto How to prove decidability of equational theories with second-order computation analyser SOL. (English) Zbl 1442.68027 J. Funct. Program. 29, Paper No. e20, 53 p. (2019). MSC: 68N18 03B25 03B40 03B70 18M05 68N15 68N30 68V15 PDFBibTeX XMLCite \textit{M. Hamana}, J. Funct. Program. 29, Paper No. e20, 53 p. (2019; Zbl 1442.68027) Full Text: DOI
Dannenberg, Roger B. Book review of: P. Hudak and D. Quick, The Haskell school of music. From signals to symphonies. (English) Zbl 1439.00015 J. Funct. Program. 29, Article ID e18, 2 p. (2019). MSC: 00A17 68-02 00A65 68N18 PDFBibTeX XMLCite \textit{R. B. Dannenberg}, J. Funct. Program. 29, Paper No. e18, 2 p. (2019; Zbl 1439.00015) Full Text: DOI
Schrijvers, Tom; Oliveira, Bruno C. d. S.; Wadler, Philip; Marntirosian, Koar COCHIS: stable and coherent implicits. (English) Zbl 1493.68094 J. Funct. Program. 29, Paper No. e3, 82 p. (2019). MSC: 68N18 03B70 PDFBibTeX XMLCite \textit{T. Schrijvers} et al., J. Funct. Program. 29, Paper No. e3, 82 p. (2019; Zbl 1493.68094) Full Text: DOI
Kiam Tan, Yong; Myreen, Magnus O.; Kumar, Ramana; Fox, Anthony; Owens, Scott; Norrish, Michael The verified CakeML compiler backend. (English) Zbl 1493.68091 J. Funct. Program. 29, Paper No. e2, 57 p. (2019). MSC: 68N18 68N20 68V15 PDFBibTeX XMLCite \textit{Y. Kiam Tan} et al., J. Funct. Program. 29, Paper No. e2, 57 p. (2019; Zbl 1493.68091) Full Text: DOI
Greenman, Ben; Takikawa, Asumu; New, Max S.; Feltey, Daniel; Findler, Robert Bruce; Vitek, Jan; Felleisen, Matthias How to evaluate the performance of gradual type systems. (English) Zbl 1493.68087 J. Funct. Program. 29, Paper No. e4, 45 p. (2019). MSC: 68N18 PDFBibTeX XMLCite \textit{B. Greenman} et al., J. Funct. Program. 29, Paper No. e4, 45 p. (2019; Zbl 1493.68087) Full Text: DOI
Darais, David; Van Horn, David Constructive Galois connections. (English) Zbl 1493.68104 J. Funct. Program. 29, Paper No. e11, 60 p. (2019). MSC: 68N30 06A15 68N18 68Q55 68V15 PDFBibTeX XMLCite \textit{D. Darais} and \textit{D. Van Horn}, J. Funct. Program. 29, Paper No. e11, 60 p. (2019; Zbl 1493.68104) Full Text: DOI arXiv
Danvy, Olivier Folding left and right over Peano numbers. (English) Zbl 1493.68084 J. Funct. Program. 29, Paper No. e6, 12 p. (2019). MSC: 68N18 PDFBibTeX XMLCite \textit{O. Danvy}, J. Funct. Program. 29, Paper No. e6, 12 p. (2019; Zbl 1493.68084) Full Text: DOI
Bird, Richard S. How to find a fake coin. (English) Zbl 1493.68258 J. Funct. Program. 29, Paper No. e8, 9 p. (2019). MSC: 68R05 68N18 PDFBibTeX XMLCite \textit{R. S. Bird}, J. Funct. Program. 29, Paper No. e8, 9 p. (2019; Zbl 1493.68258) Full Text: DOI
Choi, Kwanghoon; Chang, Byeong-Mo A theory of RPC calculi for client-server model. (English) Zbl 1493.68083 J. Funct. Program. 29, Paper No. e5, 39 p. (2019). MSC: 68N18 PDFBibTeX XMLCite \textit{K. Choi} and \textit{B.-M. Chang}, J. Funct. Program. 29, Paper No. e5, 39 p. (2019; Zbl 1493.68083) Full Text: DOI arXiv
García-Pérez, Álvaro; Nogueira, Pablo The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: a proof via corresponding calculus. (English) Zbl 1493.68085 J. Funct. Program. 29, Paper No. e7, 38 p. (2019). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{Á. García-Pérez} and \textit{P. Nogueira}, J. Funct. Program. 29, Paper No. e7, 38 p. (2019; Zbl 1493.68085) Full Text: DOI
Rossberg, Andreas 1ML – core and modules united. (English) Zbl 1476.68042 J. Funct. Program. 28, Paper No. e22, 60 p. (2018). MSC: 68N15 68N18 PDFBibTeX XMLCite \textit{A. Rossberg}, J. Funct. Program. 28, Paper No. e22, 60 p. (2018; Zbl 1476.68042) Full Text: DOI
Hinze, Ralf; Martin, Clare Parberry’s pairwise sorting network revealed. (English) Zbl 1476.68069 J. Funct. Program. 28, Paper No. e21, 14 p. (2018). MSC: 68P10 PDFBibTeX XMLCite \textit{R. Hinze} and \textit{C. Martin}, J. Funct. Program. 28, Paper No. e21, 14 p. (2018; Zbl 1476.68069) Full Text: DOI
Hinze, Ralf On constructing 2-3 trees. (English) Zbl 1476.68067 J. Funct. Program. 28, Paper No. e19, 21 p. (2018). MSC: 68P05 PDFBibTeX XMLCite \textit{R. Hinze}, J. Funct. Program. 28, Paper No. e19, 21 p. (2018; Zbl 1476.68067) Full Text: DOI
Jung, Ralf; Krebbers, Robbert; Jourdan, Jacques-Henri; Bizjak, Aleš; Birkedal, Lars; Dreyer, Derek Iris from the ground up: a modular foundation for higher-order concurrent separation logic. (English) Zbl 1476.68062 J. Funct. Program. 28, Paper No. e20, 73 p. (2018). MSC: 68N30 03B70 68V20 PDFBibTeX XMLCite \textit{R. Jung} et al., J. Funct. Program. 28, Paper No. e20, 73 p. (2018; Zbl 1476.68062) Full Text: DOI
Gilray, Thomas; Adams, Michael D.; Might, Matthew Abstract allocation as a unified approach to polyvariance in control-flow analyses. (English) Zbl 1476.68054 J. Funct. Program. 28, Paper No. e18, 46 p. (2018). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{T. Gilray} et al., J. Funct. Program. 28, Paper No. e18, 46 p. (2018; Zbl 1476.68054) Full Text: DOI
Chen, Sheng; Erwig, Martin Systematic identification and communication of type errors. (English) Zbl 1476.68050 J. Funct. Program. 28, Paper No. e2, 48 p. (2018). MSC: 68N18 68N20 PDFBibTeX XMLCite \textit{S. Chen} and \textit{M. Erwig}, J. Funct. Program. 28, Paper No. e2, 48 p. (2018; Zbl 1476.68050) Full Text: DOI
Breitner, Joachim The adequacy of Launchbury’s natural semantics for lazy evaluation. (English) Zbl 1478.68137 J. Funct. Program. 28, Paper No. e1, 20 p. (2018). MSC: 68Q55 68N18 68V20 PDFBibTeX XMLCite \textit{J. Breitner}, J. Funct. Program. 28, Paper No. e1, 20 p. (2018; Zbl 1478.68137) Full Text: DOI
Shaikhha, Amir; Dashti, Mohammad; Koch, Christoph Push versus pull-based loop fusion in query engines. (English) Zbl 1476.68074 J. Funct. Program. 28, Paper No. e10, 45 p. (2018). MSC: 68P15 68N15 PDFBibTeX XMLCite \textit{A. Shaikhha} et al., J. Funct. Program. 28, Paper No. e10, 45 p. (2018; Zbl 1476.68074) Full Text: DOI arXiv
Cheney, James (ed.); Grust, Torsten (ed.) Editorial: Special issue on programming languages for big data. (English) Zbl 1475.00033 J. Funct. Program. 28, Paper No. e8, 2 p. (2018). MSC: 00B15 68-06 68N15 68P15 68T09 PDFBibTeX XMLCite \textit{J. Cheney} (ed.) and \textit{T. Grust} (ed.), J. Funct. Program. 28, Paper No. e8, 2 p. (2018; Zbl 1475.00033) Full Text: DOI
Blanqui, Frédéric Size-based termination of higher-order rewriting. (English) Zbl 1476.68048 J. Funct. Program. 28, Paper No. e11, 75 p. (2018). MSC: 68N18 68Q42 PDFBibTeX XMLCite \textit{F. Blanqui}, J. Funct. Program. 28, Paper No. e11, 75 p. (2018; Zbl 1476.68048) Full Text: DOI arXiv
Keller, Gabriele (ed.); Henglein, Fritz (ed.) Editorial for the special issue on parallel and concurrent functional programming. (English) Zbl 1475.00057 J. Funct. Program. 28, Paper No. e6, 2 p. (2018). MSC: 00B15 68-06 68N18 68N19 PDFBibTeX XMLCite \textit{G. Keller} (ed.) and \textit{F. Henglein} (ed.), J. Funct. Program. 28, Paper No. e6, 2 p. (2018; Zbl 1475.00057) Full Text: DOI
Swords, Cameron; Sabry, Amr; Tobin-Hochstadt, Sam An extended account of contract monitoring strategies as patterns of communication. (English) Zbl 1476.68055 J. Funct. Program. 28, Paper No. e4, 47 p. (2018). MSC: 68N18 68N19 PDFBibTeX XMLCite \textit{C. Swords} et al., J. Funct. Program. 28, Paper No. e4, 47 p. (2018; Zbl 1476.68055) Full Text: DOI
Haller, Philipp; Miller, Heather; Müller, Normen A programming model and foundation for lineage-based distributed computation. (English) Zbl 1476.68057 J. Funct. Program. 28, Paper No. e7, 48 p. (2018). MSC: 68N19 68N18 68T09 PDFBibTeX XMLCite \textit{P. Haller} et al., J. Funct. Program. 28, Paper No. e7, 48 p. (2018; Zbl 1476.68057) Full Text: DOI
Dagand, Pierre-Évariste; Tabareau, Nicolas; Tanter, Éric Foundations of dependent interoperability. (English) Zbl 1476.68051 J. Funct. Program. 28, Paper No. e9, 44 p. (2018). MSC: 68N18 68N30 68Q55 PDFBibTeX XMLCite \textit{P.-É. Dagand} et al., J. Funct. Program. 28, Paper No. e9, 44 p. (2018; Zbl 1476.68051) Full Text: DOI
Rivas, Exequiel; Jaskelioff, Mauro Notions of computation as monoids. (English) Zbl 1476.68098 J. Funct. Program. 27, Paper No. e21, 42 p. (2017). MSC: 68Q09 18A99 18C15 18M05 68N18 PDFBibTeX XMLCite \textit{E. Rivas} and \textit{M. Jaskelioff}, J. Funct. Program. 27, Paper No. e21, 42 p. (2017; Zbl 1476.68098) Full Text: DOI arXiv