sorting

• Bayesian Ranking for Rated Items
  March 13, 2017
• A Sample of Standard ML, the TreeSort Algorithm, and Monoids
  April 7, 2013
• Well Orderings and Search
  June 14, 2011