Search Results - "Haskell (Computer program language)"

VisAST: Generic AST Visualiser for Software Language Education.

Authors: Aalvik, Ragnhild Järvi, Jaakko

Source: Norsk Informatikkonferanse; 2019, p1-12, 12p

Effective Haskell : Solving Real-World Problems with Strongly Typed Functional Programming

Authors: Rebecca Skinner

Resource Type: eBook.

Subjects: Functional programming (Computer science), Haskell (Computer program language)

Categories: COMPUTERS / Programming / Parallel, COMPUTERS / Internet / Web Programming

Pure iso-type systems.

Authors: YANG, YANPENG OLIVEIRA, BRUNO C. D. S.

Source: Journal of Functional Programming. 2019, Vol. 29, p1-46. 46p.

COCHIS: Stable and coherent implicits.

Authors: SCHRIJVERS, TOM OLIVEIRA, BRUNO C.D.S. WADLER, PHILIP et al.

Source: Journal of Functional Programming. 2019, Vol. 29, p1-82. 82p.

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

Authors: Blöcker, Christopher Hoffmann, Ulrich

Source: Journal of Supercomputing. Apr2018, Vol. 74 Issue 4, p1473-1484. 12p.

Subjects: Haskell (Computer program language), Distributed computing, Parallel programming, Domain-specific programming languages, Abstraction (Computer science)

Theory of M-system.

Authors: ESSERT, MARIO KUZMANOVIĆ, IVANA VAZLER, IVAN et al.

Source: Logic Journal of the IGPL; Oct2017, Vol. 25 Issue 5, p836-858, 23p

Exploiting Vector Instructions with Generalized Stream Fusion.

Authors: Mainland, Geoffrey Leshchinskiy, Roman Peyton Jones, Simon

Source: Communications of the ACM. May2017, Vol. 60 Issue 5, p83-91. 9p. 2 Charts, 2 Graphs.

Subjects: Haskell (Computer program language), Computer programming, Array processing, Unicode (Computer character set), Vector processing (Computer science), SIMD (Computer architecture)

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

Authors: DE MOL, LIESBETH CARLÉ, MARTIN BULLYNCK, MAARTEN

Source: Journal of Logic & Computation. Aug2015, Vol. 25 Issue 4, p1012-1046. 36p.

Subjects: Haskell (Computer program language), Programming languages, Interpolation, Computable functions, Combinatory logic, ENIAC (Computer)

Usage of Logic for Parallel Verification of Haskel Programs.

Authors: Archvadze, Natela Pkhovelishvili, Merab Shetsiruli, Lia et al.

Source: Computer Science & Telecommunications; 2016, Vol. 50 Issue 4, p86-92, 7p

AN ANDROID HASKELL APPLICATION.

Authors: Ferrara, Julián E. Gutiérrez López, Pablo E. Martínez

Source: Proceedings of the IADIS International Conference on WWW/Internet; 2015, p177-181, 5p

Assessing the Scalability Issues on Multi-Core NUMA Machines.

Authors: Aljabri, Malak Trinder, Phil Loidl, Hans-Wolfgang

Source: Proceedings of the Eighth Saudi Students Conference in the Uk. 2015, p267-278. 12p.

Using Haskell to Script Combinatoric Testing of Web Services.

Authors: Prasetya, I. S. W. B. Amorim, J. Vos, T. E. J. et al.

Source: CISTI (Iberian Conference on Information Systems & Technologies / Conferência Ibérica de Sistemas e Tecnologias de Informação) Proceedings; Jul2011, p816-821, 6p, 2 Diagrams

Chapter 5: Efficient Interpretation by Transforming Data Types and Patterns to Functions.

Authors: Jansen, Jan Martin Koopman, Pieter Plasmeijer, Rinus

Source: Trends in Functional Programming Volume 7; 2007, Vol. 7, p73-90, 18p

Chapter 4: A Purely Functional Implementation of ROBDDs in Haskell.

Authors: Christiansen, Jan Huch, Frank

Source: Trends in Functional Programming Volume 7; 2007, Vol. 7, p55-71, 17p

Chapter 7: Formalisation of Haskell Refactorings.

Authors: Huiqing Li Thompson, Simon

Source: Trends in Functional Programming Volume 6; 2007, Vol. 6, p95-110, 16p

Chapter 6: Epigram Reloaded: A Standalone Typechecker for ETT.

Authors: Chapman, James Altenkirch, Thorsten McBride, Conor

Source: Trends in Functional Programming Volume 6; 2007, Vol. 6, p79-94, 16p

Chapter 2: A Static Checker for Safe Pattern Matching in Haskell.

Authors: Mitchell, Neil Runciman, Colin

Source: Trends in Functional Programming Volume 6; 2007, Vol. 6, p15-30, 16p

Chapter 3: Software Metrics: Measuring Haskell.

Authors: Ryder, Chris Thompson, Simon

Source: Trends in Functional Programming Volume 6; 2007, Vol. 6, p31-46, 16p

Chapter 7: Experiments with GHC's Optimiser.

Authors: Németh, László¹, lnemeth@cs.bilgi.edu.tr

Source: Trends in Functional Programming Volume 5; 2006, Vol. 5, p97-111, 15p

Chapter 1: Proof Support for General Type Classes.

Authors: Van Kesteren, Ron Van Eekelen, Marko De Mol, Maarten

Source: Trends in Functional Programming Volume 5; 2006, Vol. 5, p1-16, 16p