Works matching DE "FUNCTIONAL programming languages"

Results: 91

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

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:

Gajda, Michał Jan

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:

Ghani, N;
de Paiva, V;
Ritter, E

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

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

Upon the Haskell support for the web applications development.

Published in:

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2015, v. 23, n. 1, p. 277, doi. 10.1515/auom-2015-0019

By:

Vasilescu, Anca

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

NLE volume 22 issue 3 Cover and Back matter.

Published in:: Natural Language Engineering, 2016, v. 22, n. 3, p. b1, doi. 10.1017/S1351324916000085
Publication type:: Article

NLE volume 20 issue 2 Cover and Back matter.

Published in:: Natural Language Engineering, 2014, v. 20, n. 2, p. b1, doi. 10.1017/S1351324913000405
Publication type:: Article

NLE volume 19 issue 3 Cover and Back matter.

Published in:: Natural Language Engineering, 2013, v. 19, n. 3, p. b1, doi. 10.1017/S1351324913000132
Publication type:: Article

NLE volume 19 issue 1 Cover and Back matter.

Published in:: Natural Language Engineering, 2013, v. 19, n. 1, p. b1, doi. 10.1017/S1351324912000320
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

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

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

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

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

PhD Abstracts.

Published in:

2018

By:

HUTTON, GRAHAM

Publication type:

Abstract

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

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

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

Foundations of F#.

Published in:

2011

By:

DE JONG, WILLEM

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:

ACHTEN, PETER

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

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

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

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

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

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

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

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

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

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

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:

DE LA ENCINA, ALBERTO;
PEÑA, RICARDO

Publication type:

Article

Safety of N?cker's strictness analysis.

Published in:

Journal of Functional Programming, 2008, v. 18, n. 4, p. 503, doi. 10.1017/s0956796807006624

By:

MANFRED SCHMIDT-SCHAUSS;
DAVID SABEL;
MARKO SCH?TZ

Publication type:

Article

Spreadsheet functional programming.

Published in:

Journal of Functional Programming, 2007, v. 17, n. 1, p. 131, doi. 10.1017/S0956796806006186

By:

DAVID WAKELING

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:

MARTIN SULZMANN;
GREGORY J. DUCK;
SIMON PEYTON-JONES;
PETER J. STUCKEY

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:

SIMON PEYTON JONES;
DIMITRIOS VYTINIOTIS;
STEPHANIE WEIRICH;
MARK SHIELDS

Publication type:

Article