OCaml - PDFSEARCH.IO - Document Search Engine

OCaml
Results: 348

#	Item
61	GADTs and exhaustiveness: looking for the impossible Jacques Garrigue Nagoya University Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2015-09-10 01:45:47 Software engineering Computer programming Computing Functional languages Data types Procedural programming languages Functional programming Type theory Generalized algebraic data type OCaml ML Caml
62	Declarative foreign function binding through generic programming Jeremy Yallop, David Sheets and Anil Madhavapeddy University of Cambridge Computer Laboratory Abstract. Foreign function interfaces are typically organise Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2015-12-17 06:24:32 Software engineering Computer programming Computing C++ C Data types Object-oriented programming languages Functional languages Typedef OCaml Const Pointer
63	Pony for Fintech or How I Stopped Worrying and Learned to Love an Exotic Product Sylvan Clebsch QCon London 2016 Add to Reading List Source URL: qconlondon.com Language: English Functional languages Erlang OCaml Concurrent computing
64	Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-09-06 08:22:15 Type theory Data types Functional languages Type systems Object-oriented programming languages OCaml Type inference Generalized algebraic data type Unification ML HindleyMilner type system Type conversion
65	Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However, Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:34 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Eval Standard ML Anonymous function HindleyMilner type system OCaml Polymorphism
66	Private Row Types: Abstracting the Unnamed Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, NagoyaAbstract. In addition to traditional recor Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2006-09-25 20:40:20 Functional languages Data types Functional programming Object-oriented programming languages Programming idioms OCaml Structural type system Scala ALGOL 68 Recursion Monad C++ classes
67	Parsifal: a pragmatic solution to the binary parsing problem Olivier Levillain Agence Nationale de la S´ecurit´e des Syst`emes d’Information (ANSSI) https://github.com/ANSSI-FR Abstract Add to Reading List Source URL: spw14.langsec.org Language: English - Date: 2014-06-12 22:54:31 Parsing Compiler construction OCaml Camlp4 JSON Parsifal Portable Network Graphics LR parser
68	Helium, for Learning Haskell Bastiaan Heeren Daan Leijen Arjan van IJzendoorn Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-02-20 14:04:58 Software engineering Computer programming Programming language theory Functional languages Type theory Data types Functional programming Literate programming Haskell Type class Type inference OCaml
69	Gasp: an OCaml library for manipulating LF objects Matthias Puech1 Univ Paris Diderot, Sorbonne Paris Cité, PPS, UMR 7126 CNRS, PiR2, INRIA Paris-Rocquencourt, FParis, France Università di Bologna, Dipartimento Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-03-11 06:12:58
70	Static Typing & JavaScript Libraries: ∗ Towards a More Considerate Relationship Benjamin Canou Emmanuel Chailloux Add to Reading List Source URL: www2013.wwwconference.org Language: English - Date: 2014-07-21 08:46:56 Type theory Object-oriented programming Data types Functional programming OCaml Structural type system Ocsigen Type system Duck typing Immutable object Caml Constant

UPDATE