yallop/popl2015-papers

Stars
68
Rank 457,643 (Top 10 %)
Language
Created about 10 years ago
Updated over 8 years ago

yallop/popl2015-papers

yallop

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Accepted papers for POPL 2015

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

ocaml-ctypes

Library for binding to C libraries using pure OCaml

higher

Higher-kinded programming in OCaml

icfp2014-papers

Accepted papers for ICFP 2014

ocaml-asp

Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc

fomega

System Fω interpreter for use in Advanced Functional Programming course

ocaml-integers

Various signed and unsigned integer types for OCaml

haskell2014-papers

Accepted papers for Haskell 2014

ocaml-re-nfa

OCaml code to construct an NFA from a regular expression

ocaml-ctypes-inverted-stubs-example

Example showing how to turn OCaml code (here Xmlm) into a C library.

ocaml-flap

A deterministic parser with fused lexing

ocaml-pb

An OCaml library for describing Protobuf messages

staged-generic-programming

Code for "Staged Generic Programming" (ICFP 2017)

ocaml-charset

ocaml-memcpy

metaocaml-letrec

flexible 'let rec' generation for MetaOCaml

ocaml-syb

Scrap Your Boilerplate for OCaml with modular implicits

metaocaml-syb

Scrap Your Boilerplate for MetaOCaml with modular implicits

ocaml-pb-plugin

A protoc plugin for generating OCaml code from protobuf (.proto) files.

pldi2014-papers

Accepted papers for PLDI 2014

ocaml-safe-string-buffer

A buffer implementation optimized for immutable strings.

ocaml-bindings-generator

causal-commutative-arrows-revisited

Causal commutative arrows revisited: an optimizing arrow library

metaocaml-charmatch

ocaml-posix-types

ctypes-compatible type representations for the types exposed in <sys/types.h>

ocaml-unix-type-representations

Functions that expose the underlying types of some abstract types in the Unix module.

ocaml-reex

Staged regular expression library for MetaOCaml

generalized-partial-computation-bibliography

Generalized Partial Computation Bibliography

code-snippets

ocaml-ctypes-build

ocaml-ctypes-foreign-example

Example showing how to bind to a C library (here libncurses) dynamically using ocaml-ctypes.

gaussian-elimination

irmin-inverted-stubs

ocaml-ctypes-expat-example

intrinsics-report

advanced-fp-repo

OPAM repository for the Advanced Functional Programming course

ocaml-patterns

Automatically exported from code.google.com/p/ocaml-patterns

ocaml-java-types

ocaml-java-types

check-markdown-urls

ocaml-windows-segfault

ocaml-ctypes-skeleton