“Interaction nets” might be what you are looking for. I believe there were a couple of hackernews threads about it.