Skip to content

C
cpdt
Commit 6548d5b8 authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

Pass over Generic

parent 9917ce0a
Expand all Show whitespace changes
Inline Side-by-side
Showing with 54 additions and 36 deletions
latex/cpdt.bib
View file @ 6548d5b8
...@@ -286,3 +286,19 @@ ...@@ -286,3 +286,19 @@
pages = {11--20}, pages = {11--20},
year = {2007}, year = {2007},
} }
@inproceedings{modules,
author = {MacQueen, David},
title = {Modules for {Standard ML}},
booktitle = {Proceedings of the 1984 ACM Symposium on LISP and Functional Programming},
year = {1984},
pages = {198--207},
}
@inproceedings{typeclasses,
author = {Wadler, P. and Blott, S.},
title = {How to make ad-hoc polymorphism less ad hoc},
booktitle = {Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
year = {1989},
pages = {60--76},
}
src/Generic.v
View file @ 6548d5b8
This diff is collapsed.
staging/updates.rss
View file @ 6548d5b8
...@@ -11,6 +11,13 @@ ...@@ -11,6 +11,13 @@
<webMaster>adam@chlipala.net</webMaster> <webMaster>adam@chlipala.net</webMaster>
<docs>http://blogs.law.harvard.edu/tech/rss</docs> <docs>http://blogs.law.harvard.edu/tech/rss</docs>
<item>
<title>A pass through "Generic Programming"</title>
<pubDate>Mon, 31 Oct 2011 14:23:29 EDT</pubDate>
<link>http://adam.chlipala.net/cpdt/</link>
<author>adamc@csail.mit.edu</author>
</item>
<item> <item>
<title>New chapter: "General Recursion"</title> <title>New chapter: "General Recursion"</title>
<pubDate>Fri, 28 Oct 2011 18:25:46 EDT</pubDate> <pubDate>Fri, 28 Oct 2011 18:25:46 EDT</pubDate>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment