Skip to content

C
cpdt
Commit 571f6130 authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

Pass through DataStruct

parent d1c52cff
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 51 additions and 34 deletions
latex/cpdt.bib
View file @ 571f6130
...@@ -212,3 +212,12 @@ ...@@ -212,3 +212,12 @@
year = {1999}, year = {1999},
pages = {471--477}, pages = {471--477},
} }
@Article{DeBruijn,
author = "Nicolas G. de Bruijn",
title = "Lambda-calculus notation with nameless dummies: a tool for automatic formal manipulation with application to the {Church-Rosser} theorem",
journal = "Indag. Math.",
volume = "34(5)",
pages = "381--392",
year = "1972"
}
src/DataStruct.v
View file @ 571f6130
This diff is collapsed.
staging/updates.rss
View file @ 571f6130
...@@ -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 "Dependent Data Structures"</title>
<pubDate>Sun, 16 Oct 2011 10:45:48 EDT</pubDate>
<link>http://adam.chlipala.net/cpdt/</link>
<author>adamc@csail.mit.edu</author>
</item>
<item> <item>
<title>A pass through "More Dependent Types"</title> <title>A pass through "More Dependent Types"</title>
<pubDate>Mon, 10 Oct 2011 15:59:55 EDT</pubDate> <pubDate>Mon, 10 Oct 2011 15:59:55 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