Treffer 1 - 20 von 38

2

SKELETAL PARALLEL PROGRAMMING WITH OCAMLP3L 2.0.
Di Cosmo, Roberto ; Zheng Li ; Pelagatti, Susanna ; et al.
Parallel Processing Letters. Mar2008, Vol. 18 Issue 1, p149-164. 16p. 6 Diagrams.

PARALLEL programming COMPUTER programming OBJECT-oriented programm... OCAML (Computer program... DEBUGGING
Fachzeitschrift
Zu den Favoriten
3

Combinators and type-driven transformers in Objective Caml.
Boulytchev, Dmitry
Science of Computer Programming. Dec2015, Vol. 114, p57-73. 17p.

COMBINATORICS OCAML (Computer program... FUNCTIONAL programming (... PROGRAMMING languages DATA analysis GENERIC programming (Com...
Fachzeitschrift
Zu den Favoriten
4

Delimited control in OCaml, abstractly and concretely
Kiselyov, Oleg
Theoretical Computer Science. Jun2012, Vol. 435, p56-76. 21p.

OCAML (Computer program... ALGEBRAIC stacks COMPILERS (Computer prog... DATA structures SOFTWARE compatibility CONTROL theory (Engineer...
Fachzeitschrift
Zu den Favoriten
5

OCaml for the masses.
Minsky, Yaron
Communications of the ACM; Nov2011, Vol. 54 Issue 11, p53-58, 6p

PROGRAMMING languages COMPUTER programming SOFTWARE engineering SYNTAX in programming la... OCAML (Computer program... DEBUGGING
Zeitschrift
Zu den Favoriten
6

Caml trading ? experiences with functional programming on Wall Street.
YARON MINSKY ; STEPHEN WEEKS
Journal of Functional Programming. Jul2008, Vol. 18 Issue 4, p553-564. 12p.

OCAML (Computer program... PROGRAMMING languages COMPUTER programmers COMPUTER software develo... FUNCTIONAL programming (...
Fachzeitschrift
Zu den Favoriten
7
8

A certified implementation of ML with structural polymorphism and recursive types.
GARRIGUE, JACQUES
Mathematical Structures in Computer Science; May2015, Vol. 25 Issue 4, p867-891, 25p

OCAML (Computer program... MATHEMATIC morphism LATTICE theory RECURSIVE functions INTERPRETERS (Computer p... FEATURE extraction
Fachzeitschrift
Zu den Favoriten
9

Implementing and Reasoning About Hash-consed Data Structures in Coq.
Braibant, Thomas ; Jourdan, Jacques-Henri ; Monniaux, David
Journal of Automated Reasoning; Oct2014, Vol. 53 Issue 3, p271-304, 34p

OCAML (Computer program... OBJECT-oriented programm... DATA structures ELECTRONIC data processi... PROGRAMMING languages
Fachzeitschrift
Zu den Favoriten
10

Efficient Abstractions for GPGPU Programming.
Bourgoin, Mathias ; Chailloux, Emmanuel ; Lamotte, Jean-Luc
International Journal of Parallel Programming; Aug2014, Vol. 42 Issue 4, p583-600, 18p

COMPUTER programming GPSS (Computer program l... HIGH performance computi... KERNEL operating systems OPENCL (Computer program... CUDA (Computer architect...
Fachzeitschrift
Zu den Favoriten
11

CATEGORICAL SEMANTICS OF REFERENCE DATA TYPE.
MIHÁLYI, Daniel ; LUKÁČ, Miloš ; NOVITZKÁ, Valerie
Acta Electrotechnica & Informatica; Dec2013, Vol. 13 Issue 4, p64-69, 6p

SEMANTICS COMPUTER simulation DYNAMIC models FUNCTIONAL programming l... OCAML (Computer program...
Fachzeitschrift
Zu den Favoriten
12

A “Minimal Disruption” Skeleton Experiment: Seamless Map & Reduce Embedding in OCaml
Danelutto, M. ; Di Cosmo, R.
Procedia Computer Science. Jun2012, Vol. 9 Issue 2, p1837-1846. 10p.

Mathematical mappings Embeddings (Mathematics) OCaml (Computer program... Parallel programming Computer storage devices Algorithms
Fachzeitschrift
Zu den Favoriten
13

Shifting the stage.
KAMEYAMA, YUKIYOSHI ; KISELYOV, OLEG ; SHAN, CHUNG-CHIEH
Journal of Functional Programming; Nov2011, Vol. 21 Issue 6, p617-662, 46p

COMPUTER software AUTOMATIC programming (C... GAUSSIAN processes MATHEMATICAL optimizatio... MULTILEVEL models OCAML (Computer program...
Fachzeitschrift
Zu den Favoriten
14

Ott: Effective tool support for the working semanticist.
Sewell, Peter ; Nardelli, Francesco Zappa ; Owens, Scott ; et al.
Journal of Functional Programming; Jan2010, Vol. 20 Issue 1, p71-122, 52p

SEMANTICS (Philosophy) PROGRAMMING languages METALANGUAGE OCAML (Computer program... FONTS & typefaces
Fachzeitschrift
Zu den Favoriten
15

RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice.
BAUER, ANDREJ ; STONE, CHRISTOPHER A.
Journal of Logic & Computation; Feb2009, Vol. 19 Issue 1, p17-43, 27p

CONSTRUCTIVE mathematics COMPUTER programming MATHEMATICAL logic OCAML (Computer program... COMPUTABLE functions DATA structures
Fachzeitschrift
Zu den Favoriten
16

Dynamics for ML using Meta-Programming
Gazagnaire, Thomas ; Madhavapeddy, Anil
ENTCS: Electronic Notes in Theoretical Computer Science. Jul2011, Vol. 264 Issue 5, p3-21. 19p.

Computer programming Databases Computer programmers OCaml (Computer program... SQL Information retrieval
Zeitschrift
Zu den Favoriten
17

A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi
de Moura, F.L.C. ; Barbosa, A.V. ; Ayala-Rincón, M. ; et al.
ENTCS: Electronic Notes in Theoretical Computer Science. Apr2011, Vol. 269, p41-54. 14p.

Calculus Rewriting systems (Compu... Mathematical notation OCaml (Computer program... Mathematical variables Computer simulation
Zeitschrift
Zu den Favoriten
18

Implementing Type-Classes as OCaml Modules.
Fletcher, Shayne
Overload. Dec2017, Issue 142, p11-13. 3p.

OCaml (Computer program... Object-oriented programm... Functor theory
Zeitschrift
Zu den Favoriten
19

Interactive Programming of Reactive Systems
Mandel, Louis ; Plateau, Florence
ENTCS: Electronic Notes in Theoretical Computer Science. Jun2009, Vol. 238 Issue 1, p21-36. 16p.

Interactive computer sys... Computer programming OCaml (Computer program... Debugging Rapid prototyping Video games
Zeitschrift
Zu den Favoriten
20

Runtime verification program side‐effects in OCaml
Sciberras, Emma (2023)

OCaml (Computer program... Functional programming (... Computer software -- Ver... Computer logic
Dissertation
Zu den Favoriten

Filter