| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Chenghao Su, Lin Chen, Yanhui Li, Yuming Zhou |
Static Blame for gradual typing.  |
J. Funct. Program.  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hillerström, Sam Lindley, John Longley |
Asymptotic speedup via effect handlers. |
J. Funct. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Cameron Moy |
Knuth-Morris-Pratt illustrated. |
J. Funct. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi |
Alice or Bob?: Process polymorphism in choreographies. |
J. Funct. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazutaka Matsuda, Meng Wang 0002 |
Sparcl: A language for partially invertible computation. |
J. Funct. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Hutton |
PhD Abstracts. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Hinze |
Certified, total serialisers with an application to Huffman encoding. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Downen, Zena M. Ariola |
Classical (co)recursion: Mechanics. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Stefan Wehr |
A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Hutton |
PhD Abstracts. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
Folding left and right matters: Direct style, accumulators, and continuations. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Chan, Yufeng Li, William J. Bowman |
Is sized typing for Coq practical? |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Hutton |
Programming language semantics: It's easy as 1,2,3. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Z. S. Hu, Junyoung Jang 0001, Brigitte Pientka |
Normalization by evaluation for modal dependent type theory. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Swierstra |
A correct-by-construction conversion from lambda calculus to combinatory logic. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddharth Bhaskar, Jakob Grue Simonsen |
Read/write factorizable programs. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang 0002, Zhenjiang Hu |
Contract lenses: Reasoning about bidirectional programs via calculation. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Jansson, Patrik Jansson |
Level-p-complexity of Boolean functions using thinning, memoization, and polynomials. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Cameron Moy, Matthias Felleisen |
Trace contracts. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu |
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Hinze, Colin Runciman |
Super-naturals. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Swierstra |
A well-known representation of monoids and its application to the function 'vector reverse'. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | John Peter Campora III, Sheng Chen 0008, Martin Erwig, Eric Walkingshaw |
Migrating gradual types. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Hutton |
PhD Abstracts. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulette Koronkevich, Ramon Rakow, Amal Ahmed 0001, William J. Bowman |
ANF preserves dependent types up to extensional equality. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr |
Modal FRP for all: Functional reactive programming without space leaks in Haskell. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters |
Extracting functional programs from Coq, in Coq. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Hutton |
PhD Abstracts. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Danner, Daniel R. Licata |
Denotational semantics as a foundation for cost recurrence extraction for functional languages. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Dreyer, Benjamin C. Pierce |
On being a PhD student of Robert Harper. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng-En Chuang, Grant Iraci, Lukasz Ziarek |
Send to me first: Priority in synchronous message-passing. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons, Shriram Krishnamurthi |
Editorial. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Perna, Val Tannen, Limsoon Wong |
Iterating on multiple collections in synchrony. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaas Pruiksma, Frank Pfenning |
Back to futures. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Hutton |
PhD Abstracts. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Van Strydonck, Frank Piessens, Dominique Devriese |
Linear capabilities for fully abstract compilation of separation-logic-verified code. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Kiselyov, Shin-Cheng Mu, Amr Sabry |
Not by equations alone: Reasoning with extensible effects. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter |
Extensional equality preservation and verified generic programming. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuria Brede, Nicola Botta |
On the correctness of monadic backward induction. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Filinski |
Proof-directed program transformation: A functional account of efficient regular expression matching. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek |
Real-time MLton: A Standard ML runtime for real-time functional programs. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi |
What is an education paper? |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard S. Bird, Shin-Cheng Mu |
A greedy algorithm for dropping digits. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Weihao Qu, Marco Gaboardi, Deepak Garg 0001 |
Relational cost analysis in a functional-imperative setting. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lau Skorstengaard, Dominique Devriese, Lars Birkedal |
StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Max S. New, Daniel R. Licata, Amal Ahmed 0001 |
Gradual type theory. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Breitner, Antal Spector-Zabusky, Yao Li 0004, Christine Rizkallah, John Wiegley, Joshua M. Cohen, Stephanie Weirich |
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Hutton |
PhD Abstracts. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Achten |
Segments: An alternative rainfall problem. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Elsman, Niels Hallenberg |
Integrating region memory management and tag-free generational garbage collection. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Liam O'Connor, Zilin Chen, Christine Rizkallah, Vincent Jackson, Sidney Amani, Gerwin Klein, Toby Murray, Thomas Sewell, Gabriele Keller |
Cogent: uniqueness types and certifying compilation. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Sterling |
Higher order functions and Brouwer's thesis. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristoffer Just Arndal Andersen, Ilya Sergey |
Protocol combinators for modeling, testing, and execution of distributed systems. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuejing Huang, Jinxu Zhao, Bruno C. d. S. Oliveira |
Taming the Merge Operator. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Cheng Mu, Tsung-Ju Chiang |
Longest segment of balanced parentheses: an exercise in program inversion in a segment problem. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Vezzosi, Anders Mörtberg, Andreas Abel 0001 |
Cubical Agda: A dependently typed programming language with univalence and higher inductive types. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy G. Siek, Peter Thiemann 0001, Philip Wadler |
Blame and coercion: Together again for the first time. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Akimasa Morihata |
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Erwig, Prashant Kumar |
Explainable dynamic programming. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Sison, Toby Murray |
Verified secure compilation for mixed-sensitivity concurrent programs. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Allais, Robert Atkey, James Chapman 0001, Conor McBride, James McKinna |
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy G. Siek, Tianyu Chen |
Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Hutton |
PhD Abstracts. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa |
A trustful monad for axiomatic reasoning with probability and nondeterminism. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons |
How to design co-programs. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Petricek 0001 |
Composable data visualizations. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Kiselyov |
Many more predecessors: A representation workout. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Convent, Sam Lindley, Conor McBride, Craig McLaughlin |
Doo bee doo bee doo. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan de Muijnck-Hughes |
Type-Driven Development with Idris. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann |
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Swierstra |
Heterogeneous binary random-access lists. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt McCutchen, Judith Borghouts, Andrew D. Gordon 0001, Simon Peyton Jones, Advait Sarkar |
Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr, Graham Hutton |
Calculating correct compilers II: Return of the register machines. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Perez 0001, Henrik Nilsson |
Runtime verification and validation of functional reactive systems. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabhakar Ragde |
Review of "Algorithms for Functional Programming" by John David Stone, Springer-Verlag, 2018. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Grust |
Review of "Algorithm Design with Haskell" by Richard Bird and Jeremy Gibbons, Cambridge University Press, 2020. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Cockx, Andreas Abel 0001 |
Elaborating dependent (co)pattern matching: No pattern left behind. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Mokhov, Neil Mitchell, Simon Peyton Jones |
Build systems à la carte: Theory and practice. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Stéphane Graham-Lengrand, Delia Kesner |
Tight typings and split bounds, fully developed. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben P. Pieters, Tom Schrijvers |
Faster coroutine pipelines: A reconstruction. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hillerström, Sam Lindley, Robert Atkey |
Effect handlers via generalised continuations. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziga Luksic, Matija Pretnar |
Local algebraic effect theories. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Abel 0001, Jesper Cockx, Dominique Devriese, Amin Timany, Philip Wadler |
Leibniz equality is isomorphic to Martin-Löf identity, parametrically. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Hutton |
PhD Abstracts. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Perez 0001, Alwyn Goodloe |
Fault-tolerant functional reactive programming (extended version). |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Crary |
A focused solution to the avoidance problem. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers |
Explicit effect subtyping. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Sperber |
Review of "Functional and Reactive Domain Modeling" by Debasish Ghosh, Manning, 2017, ISBN 978-1-617-29224-8. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben P. Pieters, Exequiel Rivas, Tom Schrijvers |
Generalized monoidal effects and handlers. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Hutton |
PhD Abstracts. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Caldwell, Tony Garnock-Jones, Matthias Felleisen |
Typed dataspace actors. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer Hackett |
Review of "Thinking with Types"* by Sandy Maguire, LeanPub, 2019. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Tanter |
Review of "The Little Prover" by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard S. Bird |
An optimal, purely functional implementation of the Garsia-Wachs algorithm. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Roger B. Dannenberg |
Review of "The Haskell School of Music: from Signals to Symphonies, " by Paul Hudak and Donya Quick, Cambridge University Press, 2018. |
J. Funct. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Aguirre 0001, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001, Pierre-Yves Strub |
A relational logic for higher-order programs. |
J. Funct. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Saverio Perugini |
Emerging languages: An alternative approach to teaching programming languages. |
J. Funct. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Álvaro García-Pérez, Pablo Nogueira |
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus. |
J. Funct. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license