• Title Unix System Programming in OCaml
• Author(s) Xavier Leroy and Didier Remy
• Publisher: OcamlCore.org, (December 1, 2014 - Date)
• Hardcover/Paperback N/A
• eBook HTML and PDF (143 pages)
• Language: English
• ISBN-10: N/A
• ISBN-13: N/A
• Share This:  

Book Description

This book is an introductory course on Unix system programming, with an emphasis on communications between processes. The main novelty of this work is the use of the OCaml language, a dialect of the ML language, instead of the C language that is customary in systems programming. This gives an unusual perspective on systems programming and on the ML language.

• N/A

• Amazon

• Unix/Linux Programming - System and Applications
• Caml and OCaml (Objective Caml) Programming
• ML and Standard ML (SML) Programming Language
• Functional Programming
• Computer and Programming Languages

• Unix System Programming in OCaml (Xavier Leroy, et al)
• The Mirror Site (1) - PDF

• The Art of UNIX Programming (Eric Steven Raymond)

  This book attempts to capture the engineering wisdom and design philosophy of the UNIX, Linux, and Open Source software development community, and as it is applied today by the most experienced programmers.

• Real World OCaml: Functional Programming for the Masses

  This hands-on book shows you how to take advantage of OCaml's functional, imperative, and object-oriented programming styles with recipes for many real-world tasks. Learn how to solve day-to-day problems in data processing, numerical computation, etc.

• Advanced Linux Programming (Mark L. Mitchell, et al)

  This book focuses mostly on the Application Programming Interface (API) provided by the Linux kernel and the C library. It contains a preliminary introduction to the development tools available.

• An Introduction to GCC: for the GNU Compilers GCC and G++

  This book provides a complete tutorial introduction to the GNU C/C++ compilers, gcc and g++. GCC is the defacto compiler collection for hundreds of thousands of open source and commercial projects worldwide, and is the standard compiler for academic programs.

• O'Reilly® UNIX Systems Programming for SVR4 (David A. Curry)

  This book gives you the nitty-gritty details on how UNIX interacts with applications. If you're writing an application from scratch, or if you're porting an application to any System V Release 4 (SVR4) platform, you need this book.

• O'Reilly® Using C on the UNIX System (David A. Curry)

  This book provides a thorough introduction to the UNIX system call libraries. It is aimed at programmers who already know C, but who want to take full advantage of the UNIX programming environment.

• FreeBSD System Programming (Nathan Boeger, et al)

  This book is intended as a resource to system programming on BSDs. The reader should be familiar with basic programming in C or C++. The information in this book might be aimed toward the beginning programmer - indeed, it could serve useful for the programmer unfamiliar with the FreeBSD platform.

• O'Reilly® Linux Device Drivers, 3rd Edition (Jonathan Corbet)

  The 3rd edition of Linux Device Drivers is better than ever. The book covers all the significant changes to Version 2.6 of the Linux kernel, which simplifies many activities, and contains subtle new features.

• O'Reilly® Linux Device Drivers, 2nd Edition (Alessandro Rubini)

  This book is for anyone who wants to support computer peripherals under the Linux operating system or who wants to develop new hardware and run it under Linux. It provides insights into address spaces, asynchronous events, and I/O.

• The Linux Kernel Module Programming Guide (Peter Salzman, ...)

  This book is an excellent guide for people who want to write kernel modules. It takes a hands-on approach starting with writing a small "hello, world" program, and quickly moves from there. Far from a boring text on programming,

• O'Reilly® Linux Kernel in a Nutshell (Greg Kroah-Hartman)

  Written by a leading developer and maintainer of the Linux kernel,this bookl is a comprehensive overview of kernel configuration and building, a critical task for Linux users and administrators.

• Linux Kernel Crash Book (Igor Ljubuncic)

  For systems and network administrators and technical support engineers responsible for maintaining Linux systems and networks, this is a first aid guide, it provides quick solutions to a variety of Linux system and network problems.