Programming with Narrowing http://corp.galois.com/blog/2012/8/2/tech-talk-video-programming-with-narrowing.html http://corp.galois.com/blog/2012/6/28/tech-talk-programming-with-narrowing.html を観た。
Curryの入門的な講演。Narrowingの仕組みの技術的な話を若干期待していたけど、それは特には無かった。
abstract: In this talk, I will introduce narrowing, the characterizing feature of functional logic programming, from the programmer's viepoint. Narrowing promotes non-determinism and it enables computing with incomplete or unknown information. After a short and informal presentation of Curry, the leading functional logic language, I will discuss a few examples showing that narrowing and its associated non-determinism support programming at a very high level of abstraction. bio: Sergio Antoy is a professor of Computer Science at Portland State University, that he joined in 1990, and an associate chair for graduate education. He regularly teaches undergraduate and graduate courses in the area of programming. He received a PhD degree in Computer Science for the University of Maryland in 1987. Sergio's research is on narrowing strategies and the implementation of functional logic programming languages.