Links « This sentence is false

Links

Family (protected)
Emacs Features
Common Lisp tutorial

Software

funsat: Haskell SAT-solver library (also on hackage)
fiblib: OCaml Fibonacci Heap

No comments yet.

About

My name is Denis Bueno, and this is my blog. I have BS and MEng degrees in computer science, and am specifically interested in programming languages (particularly functional languages), compilers, and formal methods. Currently I’m particularly captivated by fast SAT solvers and their applications.

I have written a few pieces of open source software, including:

funsat, a SAT solver library in Haskell (download)
fiblib, a Fibonacci heap in OCaml

Currently I’m developing a static analysis for JMatch, and contributing code to Cabal. Very slowly.

Search for:
Recent Posts

StatCounter

Archives
- July 2009 (1)
- March 2009 (2)
- July 2008 (1)
- May 2008 (1)
- April 2008 (1)
- March 2008 (1)
- February 2008 (1)
- October 2007 (1)
- August 2007 (1)
- July 2007 (2)
- April 2007 (4)
- August 2006 (1)
Categories
- emacs
- fun
- haskell
- howto
- lisp
- meta
- objective caml
- sat-solver
- school
- sml/nj
- trivia
- Uncategorized
RSS
Entries RSS
Comments RSS

	Josh Matthews on Configuring Emacs for Gmail…
	dbueno on Configuring Emacs for Gmail…
	chavey on Configuring Emacs for Gmail…
	Munawar Cheema on Configuring Emacs for Gmail…
	Paul Chany on Configuring Emacs for Gmail…

This sentence is false

functional programming, software, and emacs.

Links

Software

Leave a comment

About

Recent Posts

Recent Comments

StatCounter

Archives

Categories

RSS

Site info