William Cook's Fusings

I am weaned. Like most adult mammals, I don't eat dairy products. When I quit, at age 23, my face cleared up. No more pimples. Then my ...

I responded to a recent discussion  Declarative vs imperative programming on the Types mailing list , but my post was rejected because of...

Everybody has heard the advice that job talks must be "accessible to a broad audience". Some people take this to mean that "...

I revised my proposed definition of object  based on feedback, to be more general. Please put comments on the original post. I'm very i...

The definition of "functional programming" changed slowly over the last 20 years, as expressed on  the  Wikipedia page on Func...

Discussion of Domain Specific Languages (DSL) on Lambda-the-Ultimate . Originally the discussion was sparked by a Facebook status update by...

Why don't North Americans (US+CA) publish work at the MODELS conference ? The conference is often outside the US, but even when it is l...

I tweeted about the relationship between UML and MDD . There was also some discussion on StackExchange . It has since become clear to me...

Managed Data: Modular Strategies for Data Abstraction Alex Loh, Tijs van der Storm, and William R. Cook Object Grammars: Composition...

Does anybody else think the new MacOS Skype 5.x user interface is terrible? The contact list takes up a huge amount of real estate, and if ...

My essay On Understanding Data Abstraction, Revisited ( PDF with corrected figure 8 ) is not likely to get many academic citations, but it...

I ran into Bob Harper at POPL in Philadelphia . We chatted briefly in the hallway. We invariably disagree on most topics when we talk, but ...

This is an automated email sent from Dell Chat. The following information is a log of your session. Please save the log for your record...

I recently gave a talk on Batches at Microsoft Research . I think them for being nice enough to host my visit and record the talk. Batches a...

I have been telling people that we need to work on guided synthesis over verification. I believe that guided synthesis is the only way we ar...

Channel 9 interviews from SPLASH 2011 . I talked with Charles Torre of Channel 9 .

I have always felt that zoning regulations are an insidious evil that have caused our communities to be built in ways that are impractical a...

Austin recently started conversion of its old Mueller airport into a housing development . There are some things right about it: mixed use, ...

On Tuesday I gave a tutorial on partial evaluation , called " Build your own partial evaluator in 90 minutes " at the working conf...

I recently found out that Facebook is incredibly easy to hack. It allows you to access the reset password page without any email confirmatio...