Papers Log


Commit Date  
[bbfb62] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Build the talk too.

2011-01-25 20:56:50 Tree
[e67ad2] by metamorph68@aec24677-d710-0410-a355-ac75e2bdf181

Added slides of the presentation..

2011-01-25 20:09:14 Tree
[3929ad] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Code for derivation.

2011-01-24 19:57:58 Tree
[6e3407] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Notes about monads.

2011-01-24 18:02:11 Tree
[881dc1] by dbaelde@aec24677-d710-0410-a355-ac75e2bdf181

Slides for a presentation of liquidsoap at the Proval seminar tomorrow.

2011-01-20 13:23:59 Tree
[f14db2] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Compile slides too.

2011-01-20 10:52:32 Tree
[9fdfd0] by dbaelde@aec24677-d710-0410-a355-ac75e2bdf181

I didn't find the final slides for the JFLA presentation, but only that
preliminary version. It still useful to some extent. Requires the mathpartir
from Remy's page to compile.

2011-01-20 08:18:00 Tree
[1b4874] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Move David's language to it's own dir + add his notes about EOT.

2011-01-19 16:58:09 Tree
[09a27e] by dbaelde@aec24677-d710-0410-a355-ac75e2bdf181

Ajout? des exemples: on a ? peu pr?s les memes dans les deux styles, qui
s'av?rent etre tr?s proches. Mais les deux ont des probl?mes importants
? clarifier.

2010-12-23 08:54:48 Tree
[7cea94] by dbaelde@aec24677-d710-0410-a355-ac75e2bdf181

Two sets of examples in different styles.

2010-12-22 18:42:05 Tree
[74bdfb] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Mention permafrost.

2010-12-16 22:05:44 Tree
[97a0d2] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Started example with electronic circuits.

2010-11-21 18:14:05 Tree
[d58f98] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Add a nice ref + minor fixes.

2010-11-14 14:29:23 Tree
[fe1687] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Last comments before going to bed.

2010-11-14 00:30:54 Tree
[80be9c] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

More ideas.

2010-11-13 19:59:06 Tree
[0f4d24] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Some more notes and ideas.

2010-11-13 17:27:26 Tree
[73ef41] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Some more notes and ideas.

2010-11-13 17:27:15 Tree
[c89cb2] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

A bit more details.

2010-11-03 10:36:16 Tree
[21d035] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

A concrete definition of Kahn networks.

2010-11-02 16:21:31 Tree
[48d98e] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Subfolders for various papers.

2010-11-02 11:58:45 Tree
[9320ec] by dbaelde@aec24677-d710-0410-a355-ac75e2bdf181

Use zip for dist.

2010-10-29 08:30:30 Tree
[25d6c1] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Add a dist target to generate a .tar.gz with the sources.

2010-10-29 08:20:25 Tree
[70116e] by dbaelde@aec24677-d710-0410-a355-ac75e2bdf181

A polished version. Didn't "try" it yet.

2010-10-21 12:42:56 Tree
[c30b83] by dbaelde@aec24677-d710-0410-a355-ac75e2bdf181

First shot for the talk, missing a few slides and a lot of polish.
Maybe a little too long...

2010-10-20 20:42:13 Tree
[72a290] by dbaelde@aec24677-d710-0410-a355-ac75e2bdf181

A quick draft showing another approach: I don't know where it leads, and
I haven't polished much, but this provides more comfortable/solid foundations
(cut-elimination seems quite likely, and subject reduction comes by design).

2010-10-14 13:50:21 Tree
Older >