Lambda the Ultimate

Graduate student at Universidad de Buenos Aires, studying about term rewriting systems and extensions to the lambda-calculus.

Associate professor at Universidad Tecnológica Nacional, teaching about programming paradigms other than procedural (object, functional, logic).

Former software industry worker, 17 years working first in Basic, then in a Clipper-like language, finally in object-oriented languages (some Smalltalk, mostly Java).

How to teach programming (as I am a professor).

Impact of features of programming languages in real-world software projects.
How to effectively use functional programming features in big-size projects.

Term rewriting systems.
Extensions of lambda-calculus (explicit substitution, lc with patterns).