파일:OCaml Logo.svg
SVG 파일의 PNG 형식의 미리보기 크기: 525 × 144 픽셀. 다른 해상도: 320 × 88 픽셀 | 640 × 176 픽셀 | 1,024 × 281 픽셀 | 1,280 × 351 픽셀 | 2,560 × 702 픽셀
원본 파일 (SVG 파일, 실제 크기 525 × 144 픽셀, 파일 크기: 12 KB)
파일 설명
| 설명 |
English: OCaml Logo |
| 날짜 | |
| 출처 | https://ocaml.org/ |
| 저자 | OCaml.org project |
| 저작권 (이 파일을 인용하기) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
| SVG 발전 |  이 벡터 그림은 Adobe Illustrator(으)로 제작되었습니다. |
라이선스
|
이 작품은 저작자인 INRIA에 의해 퍼블릭 도메인으로 공개된 작품입니다. 이 공개 선언은 전 세계적으로 유효합니다. 만약 저작권의 포기가 법률적으로 가능하지 않은 경우, INRIA은 이 작품을 법적으로 허용되는 한도 내에서 누구나 자유롭게 어떤 목적으로도 제한 없이 사용할 수 있도록 허용합니다.
|
파일 역사
날짜/시간 링크를 클릭하면 해당 시간의 파일을 볼 수 있습니다.
| 날짜/시간 | 섬네일 | 크기 | 사용자 | 설명 | |
|---|---|---|---|---|---|
| 현재 | 2015년 1월 30일 (금) 03:13 | | 525 × 144 (12 KB) | Hexaphixylix | User created page with UploadWizard |
이 파일을 사용하는 문서
다음 문서 1개가 이 파일을 사용하고 있습니다:
이 파일을 사용하고 있는 모든 위키의 문서 목록
다음 위키에서 이 파일을 사용하고 있습니다:
- 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)
이 파일의 더 많은 사용 내역을 봅니다.
