@article{ICFP-2018-StampoulisC,
	author        = "Antonis Stampoulis and Adam Chlipala",
	doi           = "10.1145/3236788",
	journal       = "{Proceedings of the ACM on Programming Languages}",
	number        = "ICFP",
	pages         = "30",
	title         = "{Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam}",
	volume        = 2,
	year          = 2018,
}