Ficheiro:OCaml Logo.svg
Dimensões desta antevisão em PNG do ficheiro SVG: 525 × 144 píxeis Outras resoluções: 320 × 88 píxeis | 640 × 176 píxeis | 1 024 × 281 píxeis | 1 280 × 351 píxeis | 2 560 × 702 píxeis.
Imagem numa resolução maior (ficheiro SVG, de 525 × 144 píxeis, tamanho: 12 kB)
 |
Esta imagem provém do Wikimedia Commons, um acervo de conteúdo livre da Wikimedia Foundation que pode ser utilizado por outros projetos.
|
Descrição do ficheiro
| Descrição |
English: OCaml Logo |
| Data | |
| Origem | https://ocaml.org/ |
| Autor | OCaml.org project |
| Permissão (Reutilizar este ficheiro) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
| SVG desenvolvimento |  O código-fonte desta imagem SVG é válido.  Este(a) desenho vetorial foi criado com o Adobe Illustrator |
Licenciamento
|
Esta obra foi dedicada ao domínio público pelo autor, INRIA, com aplicação em todo o mundo. Nalguns países isto pode não ser legalmente possível; se assim for: INRIA concede a todos o direito de usar esta obra para qualquer fim, sem quaisquer condições, a menos que tais condições sejam impostas por lei.
|
Histórico do ficheiro
Clique uma data e hora para ver o ficheiro tal como ele se encontrava nessa altura.
| Data e hora | Miniatura | Dimensões | Utilizador | Comentário | |
|---|---|---|---|---|---|
| atual | 18h13min de 29 de janeiro de 2015 | | 525 × 144 (12 kB) | Hexaphixylix | User created page with UploadWizard |
Utilização local do ficheiro
Não há nenhuma página que use este ficheiro.
Utilização global do ficheiro
As seguintes wikis usam este ficheiro:
- ar.wikipedia.org
- az.wikipedia.org
- ca.wikipedia.org
- cs.wikipedia.org
- da.wikipedia.org
- de.wikipedia.org
- 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 mais utilizações globais deste ficheiro.
