Works matching DE "FUNCTIONAL programming languages"
Results: 91
What is a categorical model of the differential and the resource λ-calculi?
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 3, p. 451, doi. 10.1017/S0960129511000594
- By:
- Publication type:
- Article
First-order universality for real programs.
- Published in:
- Journal of Logic & Computation, 2013, v. 23, n. 4, p. 729, doi. 10.1093/logcom/exr044
- By:
- Publication type:
- Article
hPDB - Haskell library for processing atomic biomolecular structures in protein data bank format.
- Published in:
- BMC Research Notes, 2013, v. 6, n. 1, p. 1, doi. 10.1186/1756-0500-6-483
- By:
- Publication type:
- Article
MPPT System for Photovoltaic Module Connected to Battery Adapted for Unstable Atmospheric Conditions Using VHDL-AMS.
- Published in:
- Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ), 2014, v. 39, n. 3, p. 2021, doi. 10.1007/s13369-013-0767-y
- By:
- Publication type:
- Article
Haskell for Perlers.
- Published in:
- Perl Review, 2005, v. 2, n. 1, p. 18
- By:
- Publication type:
- Article
Proofs, Programs, Processes.
- Published in:
- Theory of Computing Systems, 2012, v. 51, n. 3, p. 313, doi. 10.1007/s00224-011-9325-8
- By:
- Publication type:
- Article
Common LISP as Simulation Program (CLASP) of Electronic Circuits.
- Published in:
- Radioengineering, 2011, v. 20, n. 4, p. 880
- By:
- Publication type:
- Article
PhD Abstracts.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
Untitled.
- Published in:
- 2020
- By:
- Publication type:
- Book Review
Untitled.
- Published in:
- 2020
- By:
- Publication type:
- Book Review
PhD Abstracts.
- Published in:
- 2020
- By:
- Publication type:
- Abstract
Untitled.
- Published in:
- 2020
- By:
- Publication type:
- Book Review
Effect handlers via generalised continuations.
- Published in:
- Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S0956796820000040
- 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
The verified CakeML compiler backend.
- Published in:
- Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796818000229
- By:
- Publication type:
- Article
PhD Abstracts.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000096
- By:
- Publication type:
- Article
Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong).
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000126
- By:
- Publication type:
- Article
Teaching types with a cognitively effective worked example format.
- Published in:
- Journal of Functional Programming, 2015, v. 25, p. N.PAG, doi. 10.1017/S0956796814000021
- By:
- Publication type:
- Article
Idris, a general-purpose dependently typed programming language: Design and implementation.
- Published in:
- Journal of Functional Programming, 2013, v. 23, n. 5, p. 552, doi. 10.1017/S095679681300018X
- By:
- Publication type:
- Article
Balancing weight-balanced trees.
- Published in:
- Journal of Functional Programming, 2011, v. 21, n. 3, p. 287, doi. 10.1017/S0956796811000104
- By:
- Publication type:
- Article
Typed quote/antiquote or: Compile-time parsing.
- Published in:
- Journal of Functional Programming, 2011, v. 21, n. 3, p. 219, doi. 10.1017/S0956796811000050
- By:
- Publication type:
- Article
Foundations of F#.
- Published in:
- 2011
- By:
- Publication type:
- Book Review
The Soccer-Fun project.
- Published in:
- Journal of Functional Programming, 2011, v. 21, n. 1, p. 1, doi. 10.1017/S0956796810000055
- By:
- Publication type:
- Article
Formal polytypic programs and proofs.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 213, doi. 10.1017/S0956796810000158
- By:
- Publication type:
- Article
Experience report: Functional programming in C-Rules.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 2, p. 123, doi. 10.1017/S0956796810000018
- By:
- Publication type:
- Article
A domain-specific language for experimental game theory.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 6, p. 645, doi. 10.1017/S0956796809990220
- By:
- Publication type:
- Article
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 5, p. 509, doi. 10.1017/S0956796809007205
- By:
- Publication type:
- Article
FUNCTIONAL PEARLS: The Bird Tree.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 5, p. 491, doi. 10.1017/S0956796809990116
- By:
- Publication type:
- Article
Editorial.
- Published in:
- 2009
- By:
- Publication type:
- Editorial
Categorical semantics for arrows.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 403, doi. 10.1017/S0956796809007308
- By:
- Publication type:
- Article
Implementing a normalizer using sized heterogeneous types.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 287, doi. 10.1017/S0956796809007266
- By:
- Publication type:
- Article
Preface.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 263, doi. 10.1017/S0956796809007242
- By:
- Publication type:
- Article
The worker/wrapper transformation.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 2, p. 227, doi. 10.1017/S0956796809007175
- By:
- Publication type:
- Article
Coherence of subsumption for monadic types.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 2, p. 157, doi. 10.1017/S0956796808006886
- By:
- Publication type:
- Article
Regular-expression derivatives re-examined.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 2, p. 173, doi. 10.1017/S0956796808007090
- By:
- Publication type:
- Article
Type-safe pattern combinators.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 2, p. 145, doi. 10.1017/S0956796808007089
- By:
- Publication type:
- Article
Commercial uses: Going functional on exotic trades.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 1, p. 27, doi. 10.1017/S0956796808007016
- By:
- Publication type:
- Article
From natural semantics to C: A formal derivation of two STG machines.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 1, p. 47, doi. 10.1017/S0956796808006746
- By:
- Publication type:
- Article
Linear, bounded, functional pretty-printing.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 1, p. 1, doi. 10.1017/S0956796808006990
- By:
- Publication type:
- Article
Safety of N?cker's strictness analysis.
- Published in:
- Journal of Functional Programming, 2008, v. 18, n. 4, p. 503
- By:
- Publication type:
- Article
Spreadsheet functional programming.
- Published in:
- Journal of Functional Programming, 2007, v. 17, n. 1, p. 131, doi. 10.1017/S0956796806006186
- By:
- Publication type:
- Article
Understanding functional dependencies via constraint handling rules.
- Published in:
- Journal of Functional Programming, 2007, v. 17, n. 1, p. 83, doi. 10.1017/S0956796806006137
- By:
- Publication type:
- Article
Practical type inference for arbitrary-rank types.
- Published in:
- Journal of Functional Programming, 2007, v. 17, n. 1, p. 1, doi. 10.1017/S0956796806006034
- By:
- Publication type:
- Article
Shared memory multiprocessor support for functional array processing in SAC.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 3, p. 353, doi. 10.1017/s0956796805005538
- By:
- Publication type:
- Article
A parallel SML compiler based on algorithmic skeletons.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 4, p. 615, doi. 10.1017/s0956796804005489
- By:
- Publication type:
- Article
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 4, p. 573, doi. 10.1017/s0956796804005416
- By:
- Publication type:
- Article
Embedded interpreters.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 4, p. 503, doi. 10.1017/s0956796804005398
- By:
- Publication type:
- Article
Parallel functional programming in Eden.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 3, p. 431, doi. 10.1017/s0956796805005526
- By:
- Publication type:
- Article
Models for machine learning and data mining in functional programming.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 1, p. 15, doi. 10.1017/s0956796804005301
- By:
- Publication type:
- Article