CiaoProlog

35 views

Skip to first unread message

unread,

May 14, 2012, 4:02:09 PM5/14/12

to ll-...@googlegroups.com

Seems very relevant to this list - http://www.ciaohome.org/

It also seems to me the Ciao group are doing for Prolog what the Racket folks are doing for Scheme.

In particular their stance on types resonated with me - http://clip.dia.fi.upm.es/papers/RuleML11_slides.pdf

Their approach seems related to the contracts work happening in Racket.

David

Reply all

Reply to author

Forward

0 new messages