Archivo:OCaml Logo.svg
Tamaño de esta previsualización PNG del archivo SVG: 525 × 144 píxeles. Otras resoluciones: 320 × 88 píxeles · 640 × 176 píxeles · 1024 × 281 píxeles · 1280 × 351 píxeles · 2560 × 702 píxeles.
Ver la imagen en su resolución original ((Imagen SVG, nominalmente 525 × 144 pixels, tamaño de archivo: 12 kB))
Resumen
| Descripción |
English: OCaml Logo |
| Fecha | |
| Fuente | https://ocaml.org/ |
| Autor | OCaml.org project |
| Permiso (Reutilización de este archivo) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
| SVG desarrollo |  El código fuente de esta imagen SVG es válido.  Este gráfico vectorial fue creado con Adobe Illustrator |
Licencia
|
Este trabajo ha sido liberado al dominio público por su autor, INRIA. Esto aplica para todo el mundo. En algunos países esto puede no ser legalmente factible; si ello ocurriese: INRIA otorga a cualquier persona el derecho de usar este trabajo para cualquier propósito, sin ningún tipo de condición, a menos que éstas sean requeridas por la ley.
|
Historial del archivo
Haz clic sobre una fecha y hora para ver el archivo tal como apareció en ese momento.
| Fecha y hora | Miniatura | Dimensiones | Usuario | Comentario | |
|---|---|---|---|---|---|
| actual | 18:13 29 ene 2015 | | 525 × 144 (12 kB) | Hexaphixylix | User created page with UploadWizard |
Usos del archivo
No hay páginas que enlacen a este archivo.
Uso global del archivo
Las wikis siguientes utilizan este archivo:
- Uso en ar.wikipedia.org
- Uso en az.wikipedia.org
- Uso en ca.wikipedia.org
- Uso en cs.wikipedia.org
- Uso en da.wikipedia.org
- Uso en de.wikipedia.org
- Uso en en.wikipedia.org
- ML (programming language)
- OCaml
- Poplog
- Robin Milner
- Standard ML
- Isabelle (proof assistant)
- HOL (proof assistant)
- Logic for Computable Functions
- F Sharp (programming language)
- Coq (software)
- Extended ML
- MLton
- Xavier Leroy
- Lennart Augustsson
- Standard ML of New Jersey
- Dependent ML
- Concurrent ML
- Twelf
- Camlp4
- SLAM project
- Caml
- MacroML
- Don Sannella
- FFTW
- Damien Doligez
- GeneWeb
- JoCaml
- HOL Light
- Haxe
- MTASC
- Frank Pfenning
- Matita
- Gérard Huet
- ATS (programming language)
- Marionnet
- Frama-C
- Don Syme
- Alice (programming language)
- Astrée (static analysis)
- Thierry Coquand
- LEGO (proof assistant)
- F* (programming language)
- Alt-Ergo
- Ur (programming language)
Ver más uso global de este archivo.
