] Filters: Author is Tom Schrijvers [Clear All Filters]
"A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling", in "30th International Conference on Logic Programming (ICLP 2014) - Technical Communications" , July 2014.
"Towards Typed Prolog", in "24th International Conference on Logic Programming (ICLP 2008)" , Springer - LNCS, vol. 5366, pp.693–697, December 2008.