Change #16070
2012-06-28
13:37:37
|
create
Calagator::Event
1250462512
Galois Tech Talk: Programming with Narrowing
Roll back
description |
nil |
→ |
Presented by Sergio Antoy from Portland State University.
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. |
end_time |
nil |
→ |
2012-06-28 15:00:00 -0700 |
id |
nil |
→ |
1250462512 |
start_time |
nil |
→ |
2012-06-28 14:00:00 -0700 |
title |
nil |
→ |
Galois Tech Talk: Programming with Narrowing |
url |
nil |
→ |
http://corp.galois.com/blog/2012/6/28/tech-talk-programming-with-narrowing.html |
venue_id |
nil |
→ |
202390439 |
|