An operational and axiomatic semantics for non-determinism and sequence points in C.
Adds links to Replicated Data Types paper.
Merge pull request #10 from yallop/c-non-determinism

An operational and axiomatic semantics for non-determinism and sequence points in C.
Merge pull request #11 from kayceesrk/master

Adds links to Replicated Data Types paper.
Add some links.

for "A Verified Information-Flow Architecture"
Merge pull request #12 from arthuraa/master

Add some links.
Add Sriram's web page.
Merge pull request #13 from kaoudis/master

Add Sriram's web page.
Added PADL papers.
Added some preprints.
Merge pull request #14 from kayceesrk/master

PADL papers.
Restored affiliated event request.
Merge pull request #15 from kayceesrk/master

Restored affiliated event request.
add link to Chang and Felleisen: Profiling For Laziness
Merge pull request #16 from stchang/master

add link to Chang and Felleisen: Profiling For Laziness
more paper links provided by Ethan Aubin
Merge pull request #1 from gasche/master

Merge back changes