Treffer 1 - 20 von 114

4

Random state comonads encode cellular automata evaluation
Sas, Madalina I ; Sutherland, Julian H J

Cellular Automata and La... Logic in Computer Scienc...
Report
Zu den Favoriten
5

Tail Modulo Async/Await - Extended Abstract
Gachet, Vivien ; Henrio, Ludovic ; Radanne, Gabriel ; et al.

Milan, Italy [INFO.INFO-PL]Computer S... Programming Languages [c...
Konferenz
Zu den Favoriten
6

Lazy Strong Normalization
Paolini, Luca ; Pimentel, Elaine ; Ronchi Della Rocca, Simona
In Electronic Notes in Theoretical Computer Science 19 July 2005 136:103-116

Fachzeitschrift
Zu den Favoriten
7

Design Exploration through Code-Generating DSLs
SVENSSON, Bo Joel ; SHEERAN, Mary ; NEWTON, Ryan R
Communications of the ACM. 57(6):56-63

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
8

Clojure Programming Cookbook
Hashimoto, Makoto ; Modrzyk, Nicolas ; Hashimoto, Makoto ; et al.

E-Ressource
Zu den Favoriten
9

Clojure Programming Cookbook
Modrzyk, Nicolas ; Modrzyk, Nicolas ; Hashimoto, Makoto ; et al.

E-Ressource
Zu den Favoriten
10

Abstract Interpretation of Functional Programs using an Attribute Grammar System
Fokker, Jeroen ; Swierstra, S. Doaitse
ENTCS: Electronic Notes in Theoretical Computer Science. Oct2009, Vol. 238 Issue 5, p117-133. 17p.

Functional programming l... Algorithms Haskell (Computer progra... Syntax in programming la... Iterative methods (Mathe... Abstracting
Zeitschrift
Zu den Favoriten
11

GPGPU kernel implementation and refinement using Obsidian
Svensson, Joel ; Claessen, Koen ; Sheeran, Mary
Procedia Computer Science. May2010, Vol. 1 Issue 1, p2059-2068. 10p.

Haskell (Tex.) Obsidian Graphics processing unit... Computers
Fachzeitschrift
Zu den Favoriten
12

Dependent Types at Work.
Bove, Ana ; Dybjer, Peter
Language Engineering & Rigorous Software Development; 2009, p57-99, 43p

Buch
Zu den Favoriten
15

Dieses Ergebnis kann Gästen nicht angezeigt werden.

16

Dependent Types at Work
Peter Dybjer ; Ana Bove ; Peter Dybjer ; et al.
Lecture Notes in Computer Science ISBN: 9783642031526

Buch
Zu den Favoriten
17

Animated fuzzy logic
Mike Joy ; Gary Meehan
Journal of Functional Programming. 8:503-525

Logic in artificial inte... introduction to fuzzy lo... Haskell Theory of programming la... 0202 electrical engineer... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
18

GPGPU kernel implementation and refinement using Obsidian
Joel Bo Svensson ; Koen Claessen ; Mary Sheeran
Procedia Computer Science. 1:2065-2074

GPUs Embedded language Haskell 0103 physical sciences 0202 electrical engineer... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
19

Context-oriented functional programming
Martins, Pedro M. ; McCann, Julie ; Fundacao para a Ciencia e a Tecnologia

Zu den Favoriten
20

Programming in Picat
Neng-Fa Zhou
Lecture Notes in Computer Science ISBN: 9783319420189

Buch
Zu den Favoriten

Filter