Seb's Blog

Blog Posts

Coq's sumor Type
➣ Date: Sat, 10 Dec 2011 12:46:27 -0500.
➣ Tags: [ocaml; coq].
Trying to use the sumor type, (Coq development) …

Programming Decisions with Coq's Sumbools
➣ Date: Wed, 31 Aug 2011 09:59:59 +0200.
➣ Tags: [ocaml; coq].
A dissected Coq development with some experiments about the sumbool type …

Coq Programming with Subsets
➣ Date: Wed, 17 Aug 2011 21:01:56 +0200.
➣ Tags: [ocaml; coq].
A discussion about learning Coq for programming purposes (with OCaml extraction) and a first dissected Coq development investigating “subsets” (the sig type) …

Back From IFIP SEC 2011
➣ Date: Thu, 16 Jun 2011 14:45:32 +0200.
➣ Tags: [ocaml; security; research].
Quick And Dirty Web-Slides
➣ Date: Mon, 13 Jun 2011 15:16:47 +0200.
➣ Tags: [hack_of_the_day; pdf].
Vim-like Leader Keys In Emacs
➣ Date: Wed, 04 May 2011 13:18:02 +0200.
➣ Tags: [hack_of_the_day; emacs].
Taking (MIDI) Notes With Your Guitar
➣ Date: Fri, 29 Apr 2011 11:34:41 +0200.
➣ Tags: [hack_of_the_day; linux-audio].
Style Guides
➣ Date: Wed, 27 Apr 2011 18:15:11 +0200.
➣ Tags: [typography].
Third Post; New Blog Engine
➣ Date: Tue, 26 Apr 2011 09:28:20 +0200.
➣ Tags: [ocaml; meta; dibrawi].
Anyweb, Document Source Code The Way You Like
➣ Date: Tue, 19 Apr 2011 21:26:42 +0200.
➣ Tags: [hack_of_the_day; anyweb; coq; ocaml].
Hack Of The Day: PDF Versions And Printers
➣ Date: Mon, 18 Apr 2011 15:25:42 +0200.
➣ Tags: [hack_of_the_day; pdf; printers].

Feeds

RSS 2.0:

Sebastien Mondet


Menu:




Site generated thanks to bracetax, camlmix, sebib, and more …
Updated on Sat, 10 Dec 2011 12:46:34 -0500.
Sebastien Mondet

Powered by Caml