Works matching DE "FUNCTIONAL programming (Computer science)"
Results: 200
How functional programming mattered.
- Published in:
- National Science Review, 2015, v. 2, n. 3, p. 349, doi. 10.1093/nsr/nwv042
- By:
- Publication type:
- Article
Constructive forcing, CPS translations and witness extraction in Interactive realizability.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 6, p. 993, doi. 10.1017/S0960129515000468
- By:
- Publication type:
- Article
Vulnerability modelling with functional programming and dependent types.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 1, p. 114, doi. 10.1017/S0960129514000139
- By:
- Publication type:
- Article
Containers, monads and induction recursion.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 1, p. 89, doi. 10.1017/S0960129514000127
- By:
- Publication type:
- Article
On quasi-interpretations, blind abstractions and implicit complexity.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 4, p. 549, doi. 10.1017/S0960129511000685
- By:
- Publication type:
- Article
Semantical proofs of correctness for programs performing non-deterministic tests on real numbers.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 723, doi. 10.1017/S0960129510000186
- Publication type:
- Article
Combinatorics of λ-terms: a natural approach.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 8, p. 2611, doi. 10.1093/logcom/exx018
- By:
- Publication type:
- Article
Optimality Conditions for Multi-Objective Linear Fractional Programming Problem with Homogeneous Constraints.
- Published in:
- IUP Journal of Computational Mathematics, 2011, v. 4, n. 3, p. 7
- By:
- Publication type:
- Article
Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions.
- Published in:
- International Journal of Reconfigurable Computing, 2018, p. 1, doi. 10.1155/2018/3276159
- By:
- Publication type:
- Article
An Extension of an Automated Termination Method of Recursive Functions.
- Published in:
- International Journal of Foundations of Computer Science, 2002, v. 13, n. 3, p. 361, doi. 10.1142/S0129054102001163
- By:
- Publication type:
- Article
Review of "Real World OCaml: Functional Programming for the Masses" Second Edition, by Yaron Minsky and Anil Madhavapeddy, 2023.
- Published in:
- 2024
- Publication type:
- Book Review
Knuth–Morris–Pratt illustrated.
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000017
- Publication type:
- Article
A review for the Journal of Functional Programming of Sandy Maguire, Algebra-Driven Design (Leanpub, 2020).
- Published in:
- Journal of Functional Programming, 2024, v. 34, p. 1, doi. 10.1017/S0956796824000042
- Publication type:
- Article
Cogent: uniqueness types and certifying compilation.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S095679682100023X
- By:
- Publication type:
- Article
What is an education paper?
- Published in:
- 2021
- By:
- Publication type:
- Editorial
Segments: An alternative rainfall problem.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000216
- By:
- Publication type:
- Article
Real-time MLton: A Standard ML runtime for real-time functional programs.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000174
- By:
- Publication type:
- Article
Extensional equality preservation and verified generic programming.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000204
- By:
- Publication type:
- Article
PhD Abstracts.
- Published in:
- 2021
- By:
- Publication type:
- Abstract
A trustful monad for axiomatic reasoning with probability and nondeterminism.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000137
- By:
- Publication type:
- Article
Higher order functions and Brouwer's thesis.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000095
- By:
- Publication type:
- Article
Cubical Agda: A dependently typed programming language with univalence and higher inductive types.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000034
- By:
- Publication type:
- Article
Relational cost analysis in a functional-imperative setting.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000071
- By:
- Publication type:
- Article
PhD Abstracts.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000058
- By:
- Publication type:
- Article
PhD Abstracts.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796820000301
- By:
- Publication type:
- Article
Not by equations alone: Reasoning with extensible effects.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796820000271
- By:
- Publication type:
- Article
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796820000283
- By:
- Publication type:
- Article
Constructive Galois Connections.
- Published in:
- Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796819000066
- By:
- Publication type:
- Article
Doo bee doo bee doo.
- Published in:
- Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S0956796820000039
- By:
- Publication type:
- Article
A SQL to C compiler in 500 lines of code.
- Published in:
- Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796819000054
- By:
- Publication type:
- Article
Folding left and right over Peano numbers.
- Published in:
- Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796819000042
- By:
- Publication type:
- Article
1ML – Core and modules united.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000205
- By:
- Publication type:
- Article
Editorial for the Special Issue on Parallel and Concurrent Functional Programming.
- Published in:
- 2018
- By:
- Publication type:
- Editorial
Thinking Functionally with Haskell.
- Published in:
- 2015
- By:
- Publication type:
- Book Review
Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm.
- Published in:
- Journal of Functional Programming, 2015, v. 25, p. N.PAG, doi. 10.1017/S0956796815000155
- By:
- Publication type:
- Article
Evaluation of splittable pseudo-random generators.
- Published in:
- Journal of Functional Programming, 2015, v. 25, p. N.PAG, doi. 10.1017/S095679681500012X
- By:
- Publication type:
- Article
Interleaving data and effects.
- Published in:
- Journal of Functional Programming, 2015, v. 25, p. N.PAG, doi. 10.1017/S0956796815000209
- By:
- Publication type:
- Article
How to mingle streams.
- Published in:
- Journal of Functional Programming, 2015, v. 25, p. N.PAG, doi. 10.1017/S0956796815000064
- By:
- Publication type:
- Article
CUFP'13 scribe's report.
- Published in:
- Journal of Functional Programming, 2015, v. 25, p. N.PAG, doi. 10.1017/S0956796815000052
- By:
- Publication type:
- Article
PhD Abstracts.
- Published in:
- Journal of Functional Programming, 2015, v. 25, p. N.PAG, doi. 10.1017/S0956796815000283
- By:
- Publication type:
- Article
JFP volume 24 issue 6 Cover and Front matter.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 6, p. f1, doi. 10.1017/S0956796815000015
- Publication type:
- Article
F-ing modules.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 5, p. 529, doi. 10.1017/S0956796814000264
- By:
- Publication type:
- Article
JFP volume 24 issue 4 Cover and Front matter.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 4, p. f1, doi. 10.1017/S0956796814000240
- Publication type:
- Article
PhD Abstracts.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 4, p. 474, doi. 10.1017/S0956796814000215
- By:
- Publication type:
- Article
Special Issue Dedicated to ICFP 2012: Editorial.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 2/3, p. 131, doi. 10.1017/S0956796814000124
- By:
- Publication type:
- Article
Computational Semantics with Functional Programming.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 4, p. 524, doi. 10.1017/S0956796814000057
- By:
- Publication type:
- Article
JFP volume 24 issue 2-3 Cover and Front matter.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 2/3, p. f1, doi. 10.1017/S0956796814000136
- Publication type:
- Article
Pushdown flow analysis with abstract garbage collection.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 2/3, p. 218, doi. 10.1017/S0956796814000100
- By:
- Publication type:
- Article
Implicit self-adjusting computation for purely functional programs.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 1, p. 56, doi. 10.1017/S0956796814000033
- By:
- Publication type:
- Article