Works matching DE "FUNCTIONAL programming languages"

Results: 91

STAR TYPES: A TYPE SYSTEM FOR PATTERN CALCULUS.

Published in:

Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 137

By:

Dundua, Besik;
Rukhaia, Mikheil;
Tibua, Lali

Publication type:

Article

A Brief Overview of Functional Programming Languages.

Published in:

Electronic Journal of Computer Science & Information Technology, 2016, v. 6, n. 1, p. 32

By:

Kunasaikaran, Jagatheesan;
Iqbal, Azlan

Publication type:

Article

Modular Polymorphic Defunctionalization.

Published in:

Computer Science & Information Systems, 2014, v. 11, n. 4, p. 1417, doi. 10.2298/CSIS130923030F

By:

Fourtounis, Georgios;
Papaspyrou, Nikolaos S.;
Theofilopoulos, Panagiotis

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:

Lanfang Tan;
Qingping Tan;
Jianjun Xu;
Huiping Zhou

Publication type:

Article

From swarm robotics to smart materials.

Published in:

Neural Computing & Applications, 2010, v. 19, n. 6, p. 785, doi. 10.1007/s00521-010-0440-2

By:

Correll, Nikolaus;
Groß, Roderich

Publication type:

Article

Common LISP as Simulation Program (CLASP) of Electronic Circuits.

Published in:

Radioengineering, 2011, v. 20, n. 4, p. 880

By:

Černý, David;
Dobeš, Josef

Publication type:

Article

Teaching the Relevance of Mathematics in Information Technologies through Functional Programming in Secondary School.

Published in:

International Journal for Technology in Mathematics Education, 2011, v. 18, n. 3, p. 155

By:

Ruiz, Rosario Vera

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:

Anberrée, Thomas

Publication type:

Article

Monad-independent Dynamic Logic in HasCasl.

Published in:

Journal of Logic & Computation, 2004, v. 14, n. 4, p. 571, doi. 10.1093/logcom/14.4.571

By:

Schröder, Lutz;
Mossakowski, Till

Publication type:

Article

Dynamic slicing: a generic analysis based on a natural semantics format.

Published in:

Journal of Logic & Computation, 1999, v. 9, n. 6, doi. 10.1093/logcom/9.6.835

By:

Gouranton, Valerie;
Le Métayer, Daniel

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:

Kasyanov, Victor

Publication type:

Article

Rational Metaprogramming.

Published in:

IEEE Software, 2008, v. 25, n. 1, p. 78, doi. 10.1109/MS.2008.15

By:

Spinellis, Diomidis

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:

Ballouti, A.;
Djahli, F.;
Bendjadou, A.;
Belhaouchet, N.;
Benhamadouche, A.

Publication type:

Article

Unbounded Spigot Algorithms for the Digits of Pi.

Published in:

American Mathematical Monthly, 2006, v. 113, n. 4, p. 318, doi. 10.2307/27641917

By:

Gibbons, Jeremy

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:

Berger, Ulrich;
Seisenberger, Monika

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:

Elliott, Conal

Publication type:

Article

Typed lambda-calculus in classical Zermelo-Frænkel set theory.

Published in:

Archive for Mathematical Logic, 2001, v. 40, n. 3, p. 189, doi. 10.1007/s001530000057

By:

Krivine, Jean-Louis

Publication type:

Article

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:

BÁNHELYI, BALÁZS;
CSENDES, TIBOR;
GARAY, BARNABAS M.

Publication type:

Article

Effect handlers via generalised continuations.

Published in:

Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S0956796820000040

By:

HILLERSTRÖM, DANIEL;
LINDLEY, SAM;
ATKEY, ROBERT

Publication type:

Article

Doo bee doo bee doo.

Published in:

Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S0956796820000039

By:

CONVENT, LUKAS;
LINDLEY, SAM;
MCBRIDE, CONOR;
MCLAUGHLIN, CRAIG

Publication type:

Article

Untitled.

Published in:

2020

By:

SPERBER, MICHAEL

Publication type:

Book Review

Untitled.

Published in:

2020

By:

RAGDE, PRABHAKAR

Publication type:

Book Review

PhD Abstracts.

Published in:

2020

By:

HUTTON, GRAHAM

Publication type:

Abstract

Untitled.

Published in:

2020

By:

TANTER, ÉRIC

Publication type:

Book Review

PhD Abstracts.

Published in:

2019

By:

HUTTON, GRAHAM

Publication type:

Abstract

The verified CakeML compiler backend.

Published in:

Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796818000229

By:

KIAM TAN, YONG;
MYREEN, MAGNUS O.;
KUMAR, RAMANA;
FOX, ANTHONY;
OWENS, SCOTT;
NORRISH, MICHAEL

Publication type:

Article

PhD Abstracts.

Published in:

2018

By:

HUTTON, GRAHAM

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:

SEIDEL, ERIC L.;
JHALA, RANJIT;
WEIMER, WESTLEY

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:

MATSUDA, KAZUTAKA;
WANG, MENG

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:

TIRRONEN, VILLE;
ISOMÖTTÖNEN, VILLE

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:

BRADY, EDWIN

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:

HINZE, RALF

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:

HIRAI, YOICHI;
YAMAMOTO, KAZUHIKO

Publication type:

Article

The Soccer-Fun project.

Published in:

Journal of Functional Programming, 2011, v. 21, n. 1, p. 1, doi. 10.1017/S0956796810000055

By:

ACHTEN, PETER

Publication type:

Article

Foundations of F#.

Published in:

2011

By:

DE JONG, WILLEM

Publication type:

Book Review

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:

Carette, Jacques;
Kiselyov, Oleg;
Chung-Chieh Shan

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:

VERBRUGGEN, WENDY;
DE VRIES, EDSKO;
HUGHES, ARTHUR

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:

Walkingshaw, Eric;
Erwig, Martin

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:

Wazny, Jeremy

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:

Hinze, Ralf

Publication type:

Article

Editorial.

Published in:

2009

By:

Leroy, Xavier;
Felleisen, Matthias

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:

Jacobs, Bart;
Heunen, Chris;
Hasuo, Ichiro

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:

Abel, Andreas

Publication type:

Article

Preface.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 263, doi. 10.1017/S0956796809007242

By:

McBride, Conor;
Uustalu, Tarmo

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:

SCOTT OWENS;
JOHN REPPY;
AARON TURON

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:

FRANKAU, SIMON;
SPINELLIS, DIOMIDIS;
NASSUPHIS, NICK;
BURGARD, CHRISTOPH

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:

ANDY GILL;
GRAHAM HUTTON

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:

JAN SCHWINGHAMMER

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:

MORTEN RHIGER

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:

SWIERSTRA, S. DOAITSE;
CHITIL, OLAF

Publication type:

Article