tag :: ocaml | BibSonomy

bookmarks (hide)105
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

1How to print anything in OCaml - DEV Community
https://dev.to/yawaramin/how-to-print-anything-in-ocaml-1hkl
2 years ago by @bshanks
show all tags
ocaml
print
repl
ocamlprintrepl
(0)
copydelete
- community post
- history of this post
1Writing a Game Boy Emulator in OCaml - The Linoscope Machine
https://linoscope.github.io/writing-a-game-boy-emulator-in-ocaml/
2 years ago by @bshanks
show all tags
gameboy
ocaml
gameboyocaml
(0)
copydelete
- community post
- history of this post
1Latest adds-updates
http://caml.inria.fr/humps/caml_latest.html
4 years ago by @selm
show all tags
Lesezeichen-Symbolleiste
public
eL3€7
code
ocaml
Lesezeichen-SymbolleistepubliceL3€7codeocaml
(0)
copydelete
- community post
- history of this post
1Developing applications with Objective Caml
http://caml.inria.fr/oreilly-book/
4 years ago by @selm
show all tags
Lesezeichen-Symbolleiste
public
eL3€7
code
ocaml
Lesezeichen-SymbolleistepubliceL3€7codeocaml
(0)
copydelete
- community post
- history of this post
1Jane Street Tech Blog - Using Python and OCaml in the same Jupyter notebook
https://blog.janestreet.com/using-python-and-ocaml-in-the-same-jupyter-notebook/
4 years ago by @analyst
show all tags
article
blog
jupyter
ocaml
python
articleblogjupyterocamlpython
(0)
copydelete
- community post
- history of this post
1Shayne Fletcher: More type classes in OCaml
http://blog.shaynefletcher.org/2017/05/more-type-classes-in-ocaml.html
5 years ago by @bshanks
show all tags
haskell
module
ocaml
typeclass
haskellmoduleocamltypeclass
(0)
copydelete
- community post
- history of this post
1Data vs codata
https://tac-tics.net/blog/data-vs-codata
5 years ago by @gdmcbain
show all tags
03b15-higher-order-logic-type-theory
03d20-recursive-functions-and-relations
03d75-abstract-and-axiomatic-computability-and-recursion-theory
68n18-functional-programming-and-lambda-calculus
codata
corecursion
haskell
ocaml
03b15-higher-order-logic-type-theory03d20-recursive-functions-and-relations03d75-abstract-and-axiomatic-computability-and-recursion-theory68n18-functional-programming-and-lambda-calculuscodatacorecursionhaskellocaml
(0)
copydelete
- community post
- history of this post
1Steps to learning Reason OCaml — Myer Nore
http://gradus-reason.com/steps/
6 years ago by @mjbrown
show all tags
functional
learn
ocaml
reasonml
softwaredev
functionallearnocamlreasonmlsoftwaredev
(0)
copydelete
- community post
- history of this post
1CS3110 S11 Lecture Notes
http://www.cs.cornell.edu/courses/cs3110/2011sp/lecturenotes.asp
7 years ago by @bshanks
show all tags
course
ocaml
courseocaml
(0)
copydelete
- community post
- history of this post
1Ask Reddit: Erlang, Haskell, OCaml; which functional language and why? (reddit.com)
http://programming.reddit.com/info/l434/comments?opt_csort=highscore
7 years ago by @bshanks
show all tags
Bookmarks
programmingLanguages
reddit
erlang
haskell
ocaml
scheme
BookmarksprogrammingLanguagesredditerlanghaskellocamlscheme
(0)
copydelete
- community post
- history of this post
1scheme ocaml lisp haskell - SWiK
http://swik.net/scheme+ocaml+lisp+haskell?popular
7 years ago by @bshanks
show all tags
Bookmarks
scheme
ocaml
lisp
haskell
programmingLanguages
BookmarksschemeocamllisphaskellprogrammingLanguages
(0)
copydelete
- community post
- history of this post
1programming: Ask Reddit: Erlang, Haskell, OCaml; which functional language and why?
http://reddit.com/r/programming/info/l434/comments?sort=top
7 years ago by @bshanks
show all tags
Bookmarks
haskell
tutorial
toread
Erlang
ML
Scheme
ocaml
comparison
programminglanguage
BookmarkshaskelltutorialtoreadErlangMLSchemeocamlcomparisonprogramminglanguage
(0)
copydelete
- community post
- history of this post
1programming: Linspire: Haskell is our preferred language for core OS development
http://reddit.com/r/programming/info/5y09/comments/c5z9x
7 years ago by @bshanks
show all tags
Bookmarks
Erlang
ML
Haskell
Scheme
ocaml
comparison
programminglanguage
BookmarksErlangMLHaskellSchemeocamlcomparisonprogramminglanguage
(0)
copydelete
- community post
- history of this post
1CodeGraph · facebook/pfff Wiki · GitHub
Lattix DSM für Arme | Tools for code analysis, visualizations, or style-preserving source transformation.
8 years ago by @continued
show all tags
@todo
Abhängigkeiten
DAG
DSM
Dependency_Structure_Matrix
Design_Structure_Matrix
Entwicklung
Facebook
Matrix
OCaml
Visualisierung
Visualization
pfff
@todoAbhängigkeitenDAGDSMDependency_Structure_MatrixDesign_Structure_MatrixEntwicklungFacebookMatrixOCamlVisualisierungVisualizationpfff
(0)
copydelete
- community post
- history of this post
10codepad
http://codepad.org/
13 years ago by @nosebrain
show all tags
c
c++
compiler
d
haskell
interpreter
lua
ocaml
online
perl
php
python
ruby
scheme
tcl
tool
cc++compilerdhaskellinterpreterluaocamlonlineperlphppythonrubyschemetcltool
(0)
copydelete
- community post
- history of this post
10codepad
a pastebin that runs your code for you. Code execution is handled by a supervisor based on geordi.
13 years ago by @panic
show all tags
WEB
Tool(s)
Free
Programming
Community
C
D
Haskell
OCaml
Perl
Python
Ruby
Scheme
TCL/Tk
Editor
Writing
Interpreter
Cpp
WEBTool(s)FreeProgrammingCommunityCDHaskellOCamlPerlPythonRubySchemeTCL/TkEditorWritingInterpreterCpp
(0)
copydelete
- community post
- history of this post
1The HEVEA Home page
http://hevea.inria.fr/index.html
13 years ago by @schmidt2
show all tags
html
inria
latex
ocaml
tools
htmlinrialatexocamltools
(0)
copydelete
- community post
- history of this post
1Topics:SICP in other languages - CTMWiki
http://www.codepoetics.com/wiki/index.php?title=Topics:SICP_in_other_languages
13 years ago by @draganigajic
show all tags
*read
100+
Scala
algorithms
cs
education
erlang
examples
fp
haskell
javascript
lisp
lua
ocaml
pl
python
qi
ruby
scheme
sicp
tutorial
wiki
*read100+Scalaalgorithmscseducationerlangexamplesfphaskelljavascriptlispluaocamlplpythonqirubyschemesicptutorialwiki
(0)
copydelete
- community post
- history of this post
1Web sites using Ocaml
Web sites using Ocaml
13 years ago by @draganigajic
show all tags
ocaml
web
ocamlweb
(0)
copydelete
- community post
- history of this post
1eigenclass - Aim for the Top! Beating the former #1 Wide Finder log analyzer with the join-calculus.
http://eigenclass.org/hiki/fast-widefinder
13 years ago by @draganigajic
show all tags
blogpost
erlang
joinCalculus
ocaml
blogposterlangjoinCalculusocaml
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
1
2
3
⟩
⟩⟩

publications (hide)8
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Practical OCaml
J. Smith. (2007)
7 years ago by @gdmcbain
show all tags
ocaml
68n15-programming-languages
68n18-functional-programming-and-lambda-calculus
68-01-computer-science-instructional-exposition
ocaml68n15-programming-languages68n18-functional-programming-and-lambda-calculus68-01-computer-science-instructional-exposition
(0)
copydeleteadd this publication to your clipboard
1Real World OCaml
J. Hickey, A. Madhavapeddy, and Y. Minsky. (2014)
7 years ago by @gdmcbain
show all tags
ocaml
68n15-programming-languages
68n18-functional-programming-and-lambda-calculus
68-01-computer-science-instructional-exposition
ocaml68n15-programming-languages68n18-functional-programming-and-lambda-calculus68-01-computer-science-instructional-exposition
(0)
copydeleteadd this publication to your clipboard
2Compiling a Reflective Language Using MetaOCaml
K. Asai. Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences, page 113--122. ACM, (2014)
10 years ago by @gron
show all tags
Black
Interpreter
MetaCircular
Ocaml
Reflection
Scheme
BlackInterpreterMetaCircularOcamlReflectionScheme
(0)
copydeleteadd this publication to your clipboard
3Practical generic programming in OCaml
J. Yallop. ML, page 83-94. ACM, (2007)
14 years ago by @ulricha
show all tags
imported
links
ocaml
importedlinksocaml
(0)
copydeleteadd this publication to your clipboard
1The Objective Caml system release 3.09; Documentation and user's manual
X. Leroy, D. Doligez, J. Garrigue, and D. RÃ©my. Institut National de Recherche en Informatique et en Automatique, Rocquencourt, Paris, (October 2005)
14 years ago by @mhwombat
show all tags
languages
ocaml
programming
languagesocamlprogramming
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
⟩
⟩⟩

BibSonomy

bookmarks (hide)105
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

1How to print anything in OCaml - DEV Community

1Writing a Game Boy Emulator in OCaml - The Linoscope Machine

1Latest adds-updates

1Developing applications with Objective Caml

1Jane Street Tech Blog - Using Python and OCaml in the same Jupyter notebook

1Shayne Fletcher: More type classes in OCaml

1Data vs codata

1Steps to learning Reason OCaml — Myer Nore

1CS3110 S11 Lecture Notes

1Ask Reddit: Erlang, Haskell, OCaml; which functional language and why? (reddit.com)

1scheme ocaml lisp haskell - SWiK

1programming: Ask Reddit: Erlang, Haskell, OCaml; which functional language and why?

1programming: Linspire: Haskell is our preferred language for core OS development

1CodeGraph · facebook/pfff Wiki · GitHub

10codepad

10codepad

1The HEVEA Home page

1Topics:SICP in other languages - CTMWiki

1Web sites using Ocaml

1eigenclass - Aim for the Top! Beating the former #1 Wide Finder log analyzer with the join-calculus.

publications (hide)8
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Practical OCaml

1Real World OCaml

2Compiling a Reflective Language Using MetaOCaml

3Practical generic programming in OCaml

1The Objective Caml system release 3.09; Documentation and user's manual

browse

related tags

similar tags

bookmarks (hide)105 displayallbookmarks onlybookmarks per page5102050100 sort byadded attitle RSSBibTeXXML

publications (hide)8 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

browse

related tags

similar tags

bookmarks (hide)105
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)8
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...