Blog

My first conference at microsoft argentina

I know I promised a mini DEVS model for this post. But I bumped into this interesting thing and I wanted to share it. We are currently working on a JSF web application which has a GWT component in it. To debug the app, we have to compile the GWT...

Generating 3D trees

One simple way to make arithmetic expressions in lambda calculus, is just to extend the calculus with the arithmetic rules: (λx.(λy. x+y)) 2 3 → (λy. 2+y) 3 → 2+3 = 5 But that’s pretty easy for us, and (as you problably have already noticed) we like...

Improved argument matchers in Moq

Just to gather new tools to help me in my M. Sc. thesis, I’m taking a course on Discrete Event Simulation. This course in fact is not as general as its name may suggest. It focuses mainly on modelling with a formalism called DEVS (which stands for...

Lambda Calculus

In my quest for making every piece of code testable, I run across the requestor pattern. You won’t find it doing a Google search. I first saw it in many places in JDT’s source code. The idea is separating an extraction of information (a processor)...

Integrating JSF, RichFaces and GWT (Part 2)

Basis of Term Rewriting Systems