OCaml

Results: 348



#Item
61GADTs and exhaustiveness: looking for the impossible Jacques Garrigue Nagoya University

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
62Declarative 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

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
63Pony for Fintech or How I Stopped Worrying and Learned to Love an Exotic Product Sylvan Clebsch QCon London 2016

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
64Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract

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
65Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However,

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
66Private Row Types: Abstracting the Unnamed Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, NagoyaAbstract. In addition to traditional recor

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
67Parsifal: 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

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
68Helium, for Learning Haskell Bastiaan Heeren Daan Leijen Arjan van IJzendoorn

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
69Gasp: 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

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
    70Static Typing & JavaScript Libraries: ∗ Towards a More Considerate Relationship Benjamin Canou Emmanuel Chailloux

    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