Haskell for OCaml programmers
Programming Languages
2014-07-22 v2
Authors:
Raphael Poss
Abstract
This introduction to Haskell is written to optimize learning by programmers who already know OCaml.
Cite
@article{arxiv.1405.3072,
title = {Haskell for OCaml programmers},
author = {Raphael Poss},
journal= {arXiv preprint arXiv:1405.3072},
year = {2014}
}
Comments
16 pages
Related papers
View all related →
Programming Languages · Computer Science
Clean for Haskell Programmers
Mart Lubbers, Peter Achten
2024-11-04
Quantum Physics · Physics
A Programming Language For Quantum Oracle Construction
Ayush Tambde
2021-10-26
Programming Languages · Computer Science
Investigating Compilation Errors of Students Learning Haskell
Boldizsár Németh, Eunjong Choi, Erina Makihara, Hajimu Iida
2019-06-28
Programming Languages · Computer Science
An Introduction to Liquid Haskell
Ricardo Peña
2017-01-13
Mathematical Software · Computer Science
Owl: A General-Purpose Numerical Library in OCaml
Liang Wang
2018-08-29
Programming Languages · Computer Science
A Haskell Library for Term Rewriting
Bertram Felgenhauer, Martin Avanzini, Christian Sternagel
2013-07-10
Programming Languages · Computer Science
Tracing OCaml Programs
Darius Foo, Wei-Ngan Chin
2023-04-12
Distributed, Parallel, and Cluster Computing · Computer Science
Haskell_#: Coordinating Functional Processes
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
2012-08-21
Programming Languages · Computer Science
Fast XML/HTML for Haskell: XML TypeLift
Michał J. Gajda, Dmitry Krylov
2020-11-11
Programming Languages · Computer Science
Rust for functional programmers
Raphael Poss
2014-07-23
Programming Languages · Computer Science
Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design
Andy Ray, Benjamin Devlin, Fu Yong Quah, Rahul Yesantharao
2023-12-27
Programming Languages · Computer Science
Haskell meets Evariste
Paulo R. Pereira, Jose N. Oliveira
2026-02-20
Logic in Computer Science · Computer Science
Specifying Data Objects with Initial Algebras
Chris Preston
2009-09-22
Programming Languages · Computer Science
Embedded Pattern Matching
Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller
2022-08-01
Logic in Computer Science · Computer Science
Practical Deductive Verification of OCaml Programs (Extended Version)
Mário Pereira
2024-07-23
Programming Languages · Computer Science
Teaching Introductory Functional Programming Using Haskelite
Pedro Vasconcelos
2025-08-06
Programming Languages · Computer Science
Tutorial implementation of Hoare logic in Haskell
Boro Sitnikovski
2021-12-28
Programming Languages · Computer Science
Structural and semantic pattern matching analysis in Haskell
Pavel Kalvoda, Tom Sydney Kerckhove
2019-09-11
Programming Languages · Computer Science
Learn Quantum Mechanics with Haskell
Scott N. Walck
2016-11-30
Programming Languages · Computer Science
Structural Induction Principles for Functional Programmers
James Caldwell
2013-12-11
Programming Languages · Computer Science
Compiling Signal Processing Code embedded in Haskell via LLVM
Henning Thielemann
2015-03-17
Combinatorics · Mathematics
In Praise of Sequence (Co-)Algebra and its implementation in Haskell
Kieran Clenaghan
2019-03-01
Programming Languages · Computer Science
Linear Haskell: practical linearity in a higher-order polymorphic language
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones +1
2017-11-09
Programming Languages · Computer Science
Stepping OCaml
Tsukino Furukawa, Youyou Cong, Kenichi Asai
2019-06-28
Programming Languages · Computer Science
Haskell's overlooked object system
Oleg Kiselyov, Ralf Laemmel
2007-05-23