• Suche: "OCaml (Computer program language)"

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

REAL WORLD OCAML.
MINSKY, YARON.

E-Book
Zu den Favoriten
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
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter