Works matching DE "FUNCTIONAL programming languages"
Results: 91
Artificial Intelligence in a New Context: 'Internal' and 'External' Factors.
- Published in:
- 2017
- By:
- Publication type:
- Editorial
OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER.
- Published in:
- International Journal of Bifurcation & Chaos in Applied Sciences & Engineering, 2007, v. 17, n. 3, p. 735
- 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
An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation.
- Published in:
- IEEE Transactions on Software Engineering, 1999, v. 25, n. 3, p. 291, doi. 10.1109/32.798320
- By:
- Publication type:
- Article
Modular Polymorphic Defunctionalization.
- Published in:
- Computer Science & Information Systems, 2014, v. 11, n. 4, p. 1417, doi. 10.2298/CSIS130923030F
- By:
- Publication type:
- Article
Formal Verification of Signature-monitoring Mechanisms by Model Checking.
- Published in:
- Computer Science & Information Systems, 2012, v. 9, n. 4, p. 1431, doi. 10.2298/CSIS120218056T
- 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
F# Brings the Functional Programming.
- Published in:
- IT Professional, 2008, v. 10, n. 5, p. 9
- Publication type:
- Article
Sisal 3.2: functional language for scientific parallel programming.
- Published in:
- Enterprise Information Systems, 2013, v. 7, n. 2, p. 227, doi. 10.1080/17517575.2012.744854
- By:
- Publication type:
- Article
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
USING ERLANG IN RESEARCH AND EDUCATION IN A TECHNICAL UNIVERSITY.
- Published in:
- Computer Science, 2018, v. 19, n. 3, p. 333, doi. 10.7494/csci.2018.19.3.2863
- By:
- Publication type:
- Article
Linear explicit substitutions.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 1, p. 7, doi. 10.1093/jigpal/8.1.7
- By:
- Publication type:
- Article
Welcome to "The Functional Web".
- Published in:
- IEEE Internet Computing, 2009, v. 13, n. 2, p. 104, doi. 10.1109/MIC.2009.49
- By:
- Publication type:
- Article
Dyadic versus triadic sign models in functional and object-oriented computer programming paradigms.
- Published in:
- 2006
- 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
PhD Abstracts.
- Published in:
- 2019
- By:
- Publication type:
- Abstract
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
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
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
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
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
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
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
Editorial.
- Published in:
- 2009
- By:
- Publication type:
- Editorial
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
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
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
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
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
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
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
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
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
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