JFP（CCF B）（共 172 篇）
20261 篇 · vol.35
Semantics of pattern unification
JFP vol.352026
202521 篇 · vol.35
Towards type-directed compiler calculation
JFP vol.352025
Review of “Haskell in Depth” by Vitaly Bragilevsky, Manning Publications, 2021
JFP vol.352025
How much is in a square? Calculating functional programs with squares
JFP vol.352025
Experiences of early assessment to teach functional programming
JFP vol.352025
Parallel dual-numbers reverse AD
JFP vol.352025
Tail recursion modulo context: An equational approach (extended version)
JFP vol.352025
OCaml Blockly
JFP vol.352025
A contextual formalization of structural coinduction
JFP vol.352025
Binary search—think positive
JFP vol.352025
JFP special issue on program calculation
JFP vol.352025
Hefty algebras: Modular elaboration of higher-order effects
JFP vol.352025
You could have invented Fenwick trees
JFP vol.352025
A practical formalization of monadic equational reasoning in dependent-type theory
JFP vol.352025
Inductive synthesis of structurally recursive functional programs from non-recursive expressions
JFP vol.352025
Point-free calculational proofs and program derivation in linear algebra using a graphical syntax
JFP vol.352025
Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq
JFP vol.352025
Automatically testing console I/O behavior of student submissions in Haskell
JFP vol.352025
Call-by-value and call-by-name: A simple proof of a classic theorem
JFP vol.352025
The graphical theory of monads
JFP vol.352025
Domain-specific tensor languages
JFP vol.352025
Turner, Bird, Eratosthenes: An eternal burning thread
JFP vol.352025
202414 篇 · vol.34
Static Blame for gradual typing
JFP vol.342024
Asymptotic speedup via effect handlers
JFP vol.342024
A review for the Journal of Functional Programming of Sandy Maguire, Algebra-Driven Design (Leanpub, 2020).
JFP vol.342024
Bottom-up computation using trees of sublists
JFP vol.342024
<scp>Sparcl</scp>
: A language for partially invertible computation
JFP vol.342024
Type-directed operational semantics for gradual typing
JFP vol.342024
Alice or Bob?: Process polymorphism in choreographies
JFP vol.342024
From high to low: Simulating nondeterminism and state with state
JFP vol.342024
Algebraic effects and handlers for arrows
JFP vol.342024
An example of goal-directed, calculational proof
JFP vol.342024
Review of “Real World OCaml: Functional Programming for the Masses” Second Edition, by Yaron Minsky and Anil Madhavapeddy, 2023
JFP vol.342024
Knuth–Morris–Pratt illustrated
JFP vol.342024
Programming and reasoning about actors that share state
JFP vol.342024
A simple blame calculus for explicit nulls
JFP vol.342024
202313 篇 · vol.33
Contract lenses: Reasoning about bidirectional programs via calculation
JFP vol.332023
A correct-by-construction conversion from lambda calculus to combinatory logic
JFP vol.332023
Level-p-complexity of Boolean functions using thinning, memoization, and polynomials
JFP vol.332023
Trace contracts
JFP vol.332023
Classical (co)recursion: Mechanics
JFP vol.332023
Read/write factorizable programs
JFP vol.332023
Programming language semantics: It’s easy as 1,2,3
JFP vol.332023
Folding left and right matters: Direct style, accumulators, and continuations
JFP vol.332023
Is sized typing for Coq practical?
JFP vol.332023
Normalization by evaluation for modal dependent type theory
JFP vol.332023
A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go
JFP vol.332023
Certified, total serialisers with an application to Huffman encoding
JFP vol.332023
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM
JFP vol.332023
202214 篇 · vol.32
Super-naturals
JFP vol.322022引用 1
Extracting functional programs from Coq, in Coq
JFP vol.322022
ANF preserves dependent types up to extensional equality
JFP vol.322022
Back to futures
JFP vol.322022
Migrating gradual types
JFP vol.322022
Denotational semantics as a foundation for cost recurrence extraction for functional languages
JFP vol.322022
On being a PhD student of Robert Harper
JFP vol.322022
Modal FRP for all: Functional reactive programming without space leaks in Haskell
JFP vol.322022
Iterating on multiple collections in synchrony
JFP vol.322022
Editorial
JFP vol.322022
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing
JFP vol.322022
Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant
JFP vol.322022
Send to me first: Priority in synchronous message-passing
JFP vol.322022
A well-known representation of monoids and its application to the function ‘vector reverse’
JFP vol.322022
202125 篇 · vol.31
Real-time MLton: A Standard ML runtime for real-time functional programs
JFP vol.312021
Cogent: uniqueness types and certifying compilation
JFP vol.312021
Higher order functions and Brouwer’s thesis
JFP vol.312021
On the correctness of monadic backward induction
JFP vol.312021
Composable data visualizations
JFP vol.312021
Relational cost analysis in a functional-imperative setting
JFP vol.312021
Longest segment of balanced parentheses: an exercise in program inversion in a segment problem
JFP vol.312021
Extensional equality preservation and verified generic programming
JFP vol.312021
Segments: An alternative rainfall problem
JFP vol.312021
Verified secure compilation for mixed-sensitivity concurrent programs
JFP vol.312021
StkTokens
<i>: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities</i>
JFP vol.312021
Integrating region memory management and tag-free generational garbage collection
JFP vol.312021
Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
JFP vol.312021
Explainable dynamic programming
JFP vol.312021
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study
JFP vol.312021
Protocol combinators for modeling, testing, and execution of distributed systems
JFP vol.312021
What is an education paper?
JFP vol.312021
Proof-directed program transformation: A functional account of efficient regular expression matching
JFP vol.312021
Blame and coercion: Together again for the first time
JFP vol.312021
A trustful monad for axiomatic reasoning with probability and nondeterminism
JFP vol.312021
Taming the Merge Operator
JFP vol.312021
Ready,
<tt>Set</tt>
, Verify! Applying
<tt>hs-to-coq</tt>
to real-world Haskell code
JFP vol.312021
How to design co-programs
JFP vol.312021
A greedy algorithm for dropping digits
JFP vol.312021
Not by equations alone: Reasoning with extensible effects
JFP vol.312021
202026 篇 · vol.30
Type-Driven Development with Idris
JFP vol.302020引用 54
Build systems à la carte: Theory and practice
JFP vol.302020引用 52
Doo bee doo bee doo
JFP vol.302020引用 47
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
JFP vol.302020引用 41
Effect handlers via generalised continuations
JFP vol.302020引用 36
Tight typings and split bounds, fully developed
JFP vol.302020引用 32
Explicit effect subtyping
JFP vol.302020引用 15
Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays
JFP vol.302020引用 13
Local algebraic effect theories
JFP vol.302020引用 8
A focused solution to the avoidance problem
JFP vol.302020引用 8
Fault-tolerant functional reactive programming (extended version)
JFP vol.302020引用 4
Calculating correct compilers II: Return of the register machines
JFP vol.302020引用 4
Generalized monoidal effects and handlers
JFP vol.302020引用 4
Runtime verification and validation of functional reactive systems
JFP vol.302020引用 4
An optimal, purely functional implementation of the Garsia–Wachs algorithm
JFP vol.302020引用 2
Heterogeneous binary random-access lists
JFP vol.302020引用 2
Leibniz equality is isomorphic to Martin-Löf identity, parametrically
JFP vol.302020引用 1
Many more predecessors: A representation workout
JFP vol.302020引用 1
Faster coroutine pipelines: A reconstruction
JFP vol.302020引用 1
Typed dataspace actors
JFP vol.302020
Elaborating dependent (co)pattern matching: No pattern left behind
JFP vol.302020
Review of “Algorithm Design with Haskell” by Richard Bird and Jeremy Gibbons, Cambridge University Press, 2020.
JFP vol.302020
Review of “Algorithms for Functional Programming” by John David Stone, Springer-Verlag, 2018
JFP vol.302020
Review of “Thinking with Types”* by Sandy Maguire, LeanPub, 2019
JFP vol.302020
Review of “The Little Prover” by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015
JFP vol.302020
Review of “Functional and Reactive Domain Modeling” by Debasish Ghosh, Manning, 2017, ISBN 978-1-617-29224-8
JFP vol.302020
201915 篇 · vol.29
Folding left and right over Peano numbers
JFP vol.292019引用 3
A SQL to C compiler in 500 lines of code
JFP vol.292019
Review of “The Haskell School of Music: from Signals to Symphonies,” by Paul Hudak and Donya Quick, Cambridge University Press, 2018
JFP vol.292019
How to find a fake coin
JFP vol.292019
How to prove decidability of equational theories with second-order computation analyser SOL
JFP vol.292019
A theory of RPC calculi for client–server model
JFP vol.292019
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus
JFP vol.292019
The verified CakeML compiler backend
JFP vol.292019
How to evaluate the performance of gradual type systems
JFP vol.292019
Emerging languages: An alternative approach to teaching programming languages
JFP vol.292019
Pure iso-type systems
JFP vol.292019
Constructive Galois Connections
JFP vol.292019
COCHIS: Stable and coherent implicits
JFP vol.292019
Perturbation confusion in forward automatic differentiation of higher-order functions
JFP vol.292019
POPLMark reloaded: Mechanizing proofs by logical relations
JFP vol.292019
201821 篇 · vol.28
Parberry’s pairwise sorting network revealed
JFP vol.282018
Systematic identification and communication of type errors
JFP vol.282018
Special Issue on Programming Languages for Big Data Editorial
JFP vol.282018
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
JFP vol.282018
1ML – Core and modules united
JFP vol.282018
Ghostbuster: A tool for simplifying and converting GADTs
JFP vol.282018
On constructing 2-3 trees
JFP vol.282018
Infusing an HtDP-based CS1 with distributed programming using functional video games
JFP vol.282018
Foundations of dependent interoperability
JFP vol.282018
Abstract allocation as a unified approach to polyvariance in control-flow analyses
JFP vol.282018
Size-based termination of higher-order rewriting
JFP vol.282018
Applicative bidirectional programming
JFP vol.282018
Push versus pull-based loop fusion in query engines
JFP vol.282018
Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory
JFP vol.282018
An extended account of contract monitoring strategies as patterns of communication
JFP vol.282018
Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong)
JFP vol.282018
Editorial for the Special Issue on Parallel and Concurrent Functional Programming
JFP vol.282018
A programming model and foundation for lineage-based distributed computation
JFP vol.282018
Batcher's odd-even merging network revealed
JFP vol.282018
The adequacy of Launchbury's natural semantics for lazy evaluation
JFP vol.282018
A tutorial on computational classical logic and the sequent calculus
JFP vol.282018
201722 篇 · vol.27
Flexible dynamic information flow control in the presence of exceptions
JFP vol.272017引用 43
Quick specifications for the busy programmer
JFP vol.272017引用 39
Notions of computation as monoids
JFP vol.272017引用 39
Algebraic data integration
JFP vol.272017引用 30
An algebra for distributed Big Data analytics
JFP vol.272017引用 26
Contributions to a computational theory of policy advice and avoidability
JFP vol.272017引用 15
The essence of ornaments
JFP vol.272017引用 15
Interactive programming in Agda – Objects and graphical user interfaces
JFP vol.272017引用 15
Computation semantics of the functional scientific workflow language Cuneiform
JFP vol.272017引用 15
PhD Abstracts
JFP vol.272017引用 14
Backtracking with cut via a distributive law and left-zero monoids
JFP vol.272017引用 12
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading
JFP vol.272017引用 12
Fair enumeration combinators
JFP vol.272017引用 9
Compiling a 50-year journey
JFP vol.272017引用 7
Normal-order reduction grammars
JFP vol.272017引用 6
Finiteness and rational sequences, constructively
JFP vol.272017引用 4
Capability-based localization of distributed and heterogeneous queries
JFP vol.272017引用 2
Call-by-name extensionality and confluence
JFP vol.272017引用 2
Special issue on Programming with Dependent Types Editorial
JFP vol.272017引用 1
No value restriction is needed for algebraic effects and handlers
JFP vol.272017
Modular, higher order cardinality analysis in theory and practice
JFP vol.272017
The calculus of dependent lambda eliminations
JFP vol.272017