Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 20 von 308

1

Exploiting Vector Instructions with Generalized Stream Fusion.
Mainland, Geoffrey ; Leshchinskiy, Roman ; Peyton Jones, Simon
Communications of the ACM. May2017, Vol. 60 Issue 5, p83-91. 9p. 2 Charts, 2 Graphs.

COMPUTER programming HASKELL (Computer progra... ARRAY processing UNICODE (Computer charac... VECTOR processing (Compu... SIMD (Computer architect...
Zeitschrift
2

Domain-Specific Languages and Code Synthesis Using Haskell.
GILL, ANDY
Communications of the ACM. Jun2014, Vol. 57 Issue 6, p42-49. 8p. 1 Color Photograph, 7 Diagrams, 1 Chart.

PROGRAMMING languages COMPUTER input-output eq... DATABASES HASKELL (Computer progra... DOMAIN-specific programm... MATLAB (Computer softwar...
Zeitschrift
3

Comparing the performance of concurrent hash tables implemented in Haskell.
Duarte, Rodrigo Medeiros ; Du Bois, André Rauber ; Pilla, Maurício Lima ; et al.
Science of Computer Programming. Mar2019, Vol. 173, p56-70. 15p.

HASKELL (Computer progra... SYNCHRONIZATION COMPUTER programming ALGORITHMS COMPUTER systems
Fachzeitschrift
4

Theory of M-system.
ESSERT, MARIO ; KUZMANOVIĆ, IVANA ; VAZLER, IVAN ; et al.
Logic Journal of the IGPL. Oct2017, Vol. 25 Issue 5, p836-858. 23p.

MATHEMATICAL models MATHEMATICAL logic HASKELL (Computer progra... LINGUISTICS ELECTRIC circuits
Fachzeitschrift
5

Pure iso-type systems.
YANG, YANPENG ; OLIVEIRA, BRUNO C. D. S.
Journal of Functional Programming. 2019, Vol. 29, p1-46. 46p.

PROGRAMMING languages HASKELL (Computer progra... SEMANTICS METATHEORY SYNTAX in programming la...
Fachzeitschrift
6

COCHIS: Stable and coherent implicits.
SCHRIJVERS, TOM ; OLIVEIRA, BRUNO C.D.S. ; WADLER, PHILIP ; et al.
Journal of Functional Programming. 2019, Vol. 29, p1-82. 82p.

PROGRAMMING languages HASKELL (Computer progra... SEMANTICS DEBATE MODULARITY (Grammar)
Fachzeitschrift
7

Pardis: a process calculus for parallel and distributed programming in Haskell.
Blöcker, Christopher ; Hoffmann, Ulrich
Journal of Supercomputing. Apr2018, Vol. 74 Issue 4, p1473-1484. 12p.

HASKELL (Computer progra... DISTRIBUTED computing PARALLEL programming DOMAIN-specific programm... ABSTRACTION (Computer sc...
Fachzeitschrift
8

Ambiguity and constrained polymorphism.
Camarão, Carlos ; Figueiredo, Lucília ; Ribeiro, Rodrigo
Science of Computer Programming. Aug2016, Vol. 124, p1-19. 19p.

AMBIGUITY HASKELL (Computer progra... FUNCTIONAL dependencies INFERENCE (Logic) ALGORITHMS SEMANTICS
Fachzeitschrift
9

Effect capabilities for Haskell: Taming effect interference in monadic programming.
Figueroa, Ismael ; Tabareau, Nicolas ; Tanter, Éric
Science of Computer Programming. Apr2016, Vol. 119, p3-30. 28p.

HASKELL (Computer progra... SOFTWARE maintenance MONADS (Mathematics) COMPUTER software securi... COMPUTER access control
Fachzeitschrift
10

Assessing the Scalability Issues on Multi-Core NUMA Machines.
Aljabri, Malak ; Trinder, Phil ; Loidl, Hans-Wolfgang
Proceedings of the Eighth Saudi Students Conference in the Uk. 2015, p267-278. 12p.

SCALABILITY HASKELL (Computer progra... NON-uniform memory acces... MULTICORE processors COMPUTER storage capacit...
Konferenz
13

Developing web apps with Haskell and Yesod: safety-driven web development
Developing web applications with Haskell and Yesod

Snoyman, Michael, author. ; Snoyman, Michael, author.

Application software. Haskell (Computer progra...
Buch
14

A Foundation for Embedded Languages.
Rhiger, Morten
ACM Transactions on Programming Languages & Systems. May2003, Vol. 25 Issue 3, p291. 25p. 2 Diagrams.

HASKELL (Computer progra... EMBEDDINGS (Mathematics) METALANGUAGE
Fachzeitschrift
15

AUTOMATIC SKELETONS IN TEMPLATE HASKELL.
Hammond, Kevin ; Berthold, Jost ; Loogen, Rita
Parallel Processing Letters. Sep2003, Vol. 13 Issue 3, p413-424. 12p.

PARALLEL programming COMPUTER architecture HASKELL (Computer progra...
Fachzeitschrift
17

Beginning Haskell: a project-based approach
Mena, Alejandro Serrano. ; Mena, Alejandro Serrano.

Haskell (Computer progra... Functional programming (...
Buch
18

How to Declare an Imperative.
Wadler, Philip
ACM Computing Surveys. Sep97, Vol. 29 Issue 3, p240-263. 24p.

LOGIC COMPUTER science FUNCTIONAL programming (... HASKELL (Computer progra... MONADS (Mathematics) FUNCTIONAL programming l...
Fachzeitschrift
19

Haskell financial data modeling and predictive analytics
Ryzhov, Pavel. ; Ryzhov, Pavel.

Electronic data processi... Haskell (Computer progra...
Buch
20

Parallel and concurrent programming in Haskell
Marlow, Simon. ; Marlow, Simon.

Haskell (Computer progra... Parallel programming (Co... Computer multitasking.
Buch

Filter