Skip to content

Commit

Permalink
Merge pull request #1 from ocamllabs/link-paper
Browse files Browse the repository at this point in the history
Cite paper in README.
  • Loading branch information
yallop committed Jun 9, 2014
2 parents 49149b4 + 1f84ba2 commit c9f5117
Showing 1 changed file with 7 additions and 1 deletion.
8 changes: 7 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,10 @@
higher
======

Higher-kinded programming in OCaml
Higher-kinded programming in OCaml, as described in

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[Lightweight Higher-Kinded Polymorphism][flops-2014-paper]<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Jeremy Yallop and Leo White<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Functional and Logic Programming 2014<br/>

[flops-2014-paper]: https://ocamllabs.github.io/higher/lightweight-higher-kinded-polymorphism.pdf

0 comments on commit c9f5117

Please sign in to comment.