Co-author of a highly influential paper on lazy programming, specifically on lazy streams. The paper, titled "Cons should not evaluate its arguments," explores programming with pote...
Show More
Co-author of a highly influential paper on lazy programming, specifically on lazy streams. The paper, titled "Cons should not evaluate its arguments," explores programming with potentially infinite data structures and a form of programming with no computational effects.