Works matching DE "HASKELL (Computer program language)"

Results: 69

Refined typing to localize the impact of forced strictness on free theorems.

Published in:

Acta Informatica, 2011, v. 48, n. 3, p. 191, doi. 10.1007/s00236-011-0136-9

By:

Seidel, Daniel;
Voigtländer, Janis

Publication type:

Article

6 Predefined Types and Classes.

Published in:

Journal of Functional Programming, 2003, v. 13, n. 1, p. 81, doi. 10.1017/s0956796803000819

By:

SIMON PEYTON JONES

Publication type:

Article

1 Introduction.

Published in:

Journal of Functional Programming, 2003, v. 13, n. 1, p. i, doi. 10.1017/s0956796803000315

By:

SIMON PEYTON JONES

Publication type:

Article

Haskell for Perlers.

Published in:

Perl Review, 2005, v. 2, n. 1, p. 18

By:

Antonsen, Frank

Publication type:

Article

From the publisher.

Published in:: Perl Review, 2005, v. 2, n. 1, p. 1
Publication type:: Article

A Taste of Functional Programming -- 2.

Published in:

Resonance: Journal of Science Education, 2007, v. 12, n. 9, p. 40, doi. 10.1007/s12045-007-0092-4

By:

Mukund, Madhavan

Publication type:

Article

A Taste of Functional Programming -- 1.

Published in:

Resonance: Journal of Science Education, 2007, v. 12, n. 8, p. 27, doi. 10.1007/s12045-007-0081-7

By:

Mukund, Madhavan

Publication type:

Article

From recreational mathematics to recreational programming, and back.

Published in:

International Journal of Mathematical Education in Science & Technology, 2011, v. 42, n. 6, p. 775, doi. 10.1080/0020739X.2011.592612

By:

Jiménez, B.C.Ruiz;
Muñoz, M.Ruiz

Publication type:

Article

Haskell before Haskell: an alternative lesson in practical logics of the ENIAC.

Published in:

Journal of Logic & Computation, 2015, v. 25, n. 4, p. 1012, doi. 10.1093/logcom/exs072

By:

DE MOL, LIESBETH;
CARLÉ, MARTIN;
BULLYNCK, MAARTEN

Publication type:

Article

Theory of M-system.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 836, doi. 10.1093/jigpal/jzx025

By:

ESSERT, MARIO;
KUZMANOVIĆ, IVANA;
VAZLER, IVAN;
ŽILIĆ, TIHOMIR

Publication type:

Article

Transposing F to C<sup>♯</sup>: expressivity of parametric polymorphism in an object-oriented language.

Published in:

Concurrency & Computation: Practice & Experience, 2004, v. 16, n. 7, p. 707, doi. 10.1002/cpe.801

By:

Kennedy, Andrew;
Syme, Don

Publication type:

Article

Usage of Logic for Parallel Verification of Haskel Programs.

Published in:

Computer Science & Telecommunications, 2016, v. 50, n. 4, p. 86

By:

Archvadze, Natela;
Pkhovelishvili, Merab;
Shetsiruli, Lia;
Ioseliani, Otar

Publication type:

Article

The Automatic Synthesis of Haskell Functions.

Published in:

Computer Science & Telecommunications, 2014, v. 43, n. 3, p. 20

By:

Archvadze, Natela;
Ioseliani, Otari;
Shetsiruli, Lia;
Pkhovelishvili, Merab

Publication type:

Article

POSSIBILITY OF FUNCTIONAL PROGRAMS VERIFICATION THROUGH APPLICATION OF MODEL CHECKING.

Published in:

Computer Science & Telecommunications, 2013, v. 40, n. 4, p. 51

By:

Archvadze, Natela;
Pkhovelishvili, Merab

Publication type:

Article

Pardis: a process calculus for parallel and distributed programming in Haskell.

Published in:

Journal of Supercomputing, 2018, v. 74, n. 4, p. 1473, doi. 10.1007/s11227-018-2289-6

By:

Blöcker, Christopher;
Hoffmann, Ulrich

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

PATACA: PATtern Analyzing and Collecting Algorithm.

Published in:

Journal of Computer Science & Control Systems, 2013, v. 6, n. 1, p. 75

By:

PIETRIKOVÁ, Emília;
KOLLÁR, Ján;
CHODAREV, Sergej

Publication type:

Article

pHood: Tool Description, Analysis Techniques, and Case Studies.

Published in:

New Generation Computing, 2014, v. 32, n. 1, p. 59, doi. 10.1007/s00354-014-0103-4

By:

Encina, Alberto;
Rodríguez, Ismael;
Rubio, Fernando

Publication type:

Article

Class-level Non-Interference.

Published in:

New Generation Computing, 2012, v. 30, n. 2/3, p. 241, doi. 10.1007/s00354-012-0207-7

By:

Zanardini, Damiano

Publication type:

Article

UPON THE PERFORMANCE OF A HASKELL PARALLEL IMPLEMENTATION.

Published in:

Bulletin of the Transilvania University of Brasov, Series III: Mathematics, Informatics, Physics, 2013, v. 6, n. 55-2, p. 61

By:

BĂICOIANU, Alexandra;
PÂNDARU, Raluca;
VASILESCU, Anca

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

AUTOMATIC SKELETONS IN TEMPLATE HASKELL.

Published in:

Parallel Processing Letters, 2003, v. 13, n. 3, p. 413, doi. 10.1142/S0129626403001380

By:

Hammond, Kevin;
Berthold, Jost;
Loogen, Rita

Publication type:

Article

Wikis en docencia: una experiencia con WikiHaskell y StatMediaWiki.

Published in:

RUSC: Revista de Universidad y Sociedad del Conocimiento, 2012, v. 9, n. 1, p. 65, doi. 10.7238/rusc.v9i1.1035

By:

Duarte, Manuel Palomo;
Medina Bulo, Inmaculada;
Rodríguez Posada, Emilio José;
Palomo Lozano, Francisco

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

Constraint handling rules with binders, patterns and generic quantification.

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 992, doi. 10.1017/S1471068417000230

By:

SERRANO, ALEJANDRO;
HAGE, JURRIAAN

Publication type:

Article

On Termination, Confluence and Consistent CHR-based Type Inference.

Published in:

Theory & Practice of Logic Programming, 2014, v. 14, n. 4/5, p. 619, doi. 10.1017/S1471068414000246

By:

DUCK, GREGORY J.;
HAEMMERLÉ, RÉMY;
SULZMANN, MARTIN;
Leuschel, Michael;
Schrijvers, Tom

Publication type:

Article

EMBEDDED RESOURCE TOOL IN HASKELL.

Published in:

Studia Universitatis Babes-Bolyai, Informatica, 2014, v. 59, p. 129

By:

GÓBI, ATTILA;
KOZSIK, TAMÁS;
KRÁLIK, BARNABÁS

Publication type:

Article

Choosing a Language.

Published in:: IEEE Software, 2007, v. 24, n. 5, p. 40
Publication type:: Article

BUILDING AN AVATAR IN HASKELL 98 PRELIMINARIES: IS HOPENGL ENOUGH ?

Published in:

Scientific Studies & Research. Series Mathematics & Informatics, 2015, v. 25, n. 1, p. 205

By:

POPA, DAN

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

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

How to prove decidability of equational theories with second-order computation analyser SOL.

Published in:

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

By:

HAMANA, MAKOTO

Publication type:

Article

Pure iso-type systems.

Published in:

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

By:

YANG, YANPENG;
OLIVEIRA, BRUNO C. D. S.

Publication type:

Article

How to find a fake coin.

Published in:

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

By:

BIRD, RICHARD S.

Publication type:

Article

COCHIS: Stable and coherent implicits.

Published in:

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

By:

SCHRIJVERS, TOM;
OLIVEIRA, BRUNO C.D.S.;
WADLER, PHILIP;
MARNTIROSIAN, KOAR

Publication type:

Article

A language for hierarchical data parallel design-space exploration on GPUs.

Published in:

2016

By:

SVENSSON, BO JOEL;
NEWTON, RYAN R.;
SHEERAN, MARY

Publication type:

Case Study

Efficiency of lambda-encodings in total type theory.

Published in:

2016

By:

STUMP, AARON;
PENG FU

Publication type:

Case Study

Transparent fault tolerance for scalable functional computation.

Published in:

Journal of Functional Programming, 2016, v. 26, p. 1, doi. 10.1017/S095679681600006X

By:

STEWART, ROBERT;
MAIER, PATRICK;
TRINDER, PHIL

Publication type:

Article

Solving the snake cube puzzle in Haskell.

Published in:

Journal of Functional Programming, 2013, v. 23, n. 2, p. 145, doi. 10.1017/S0956796813000014

By:

JONES, MARK P.

Publication type:

Article

The impact of higher-order state and control effects on local relational reasoning.

Published in:

Journal of Functional Programming, 2012, v. 22, n. 4/5, p. 477, doi. 10.1017/S095679681200024X

By:

DREYER, DEREK;
NEIS, GEORG;
BIRKEDAL, LARS

Publication type:

Article

Systematic abstraction of abstract machines.

Published in:

Journal of Functional Programming, 2012, v. 22, n. 4/5, p. 705, doi. 10.1017/S0956796812000238

By:

VAN HORN, DAVID;
MIGHT, MATTHEW

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

A combinator library for the design of railway track layouts.

Published in:

Journal of Functional Programming, 2011, v. 21, n. 3, p. 309, doi. 10.1017/S0956796811000086

By:

STRATFORD, BARNEY

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

Special Issue on Generic Programming Editorial.

Published in:

Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 211, doi. 10.1017/S0956796810000286

By:

HINZE, RALF

Publication type:

Article

A lightweight approach to datatype-generic rewriting.

Published in:

Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 375, doi. 10.1017/S0956796810000183

By:

NOORT, THOMAS VAN;
YAKUSHEV, ALEXEY RODRIGUEZ;
HOLDERMANS, STEFAN;
JEURING, JOHAN;
HEEREN, BASTIAAN;
MAGALHÃES, JOSÉ PEDRO

Publication type:

Article

Scala for generic programmers.

Published in:

Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 303, doi. 10.1017/S0956796810000171

By:

OLIVEIRA, BRUNO C. D. S.;
GIBBONS, JEREMY

Publication type:

Article

Generic programming with C++ concepts and Haskell type classes--a comparison.

Published in:

Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 271, doi. 10.1017/S095679681000016X

By:

BERNARDY, JEAN-PHILIPPE;
JANSSON, PATRIK;
ZALEWSKI, MARCIN;
SCHUPP, SIBYLLE

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

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