A simple implementation technique for priority search queues
From MaRDI portal
Publication:5178002
DOI10.1145/507635.507650zbMath1323.68119MaRDI QIDQ5178002
Publication date: 9 March 2015
Published in: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://dspace.library.uu.nl/handle/1874/2472
68N18: Functional programming and lambda calculus
68Q65: Abstract data types; algebraic specification