{"version":"1.0","type":"rich","provider_name":"timescale.info","provider_url":"https://timescale.info","title":"Type theory and functional programming: a history","author_name":"athan","author_url":"https://timescale.info/athan","html":"<iframe src=\"https://timescale.info/embed/a4e61463-27ff-44c4-945e-33fd193c7b3b#moment/lambda-cube\" title=\"Type theory and functional programming: a history\" width=\"800\" height=\"480\" style=\"border:0;max-width:100%\" loading=\"lazy\" allow=\"fullscreen\"></iframe>","width":800,"height":480,"thumbnail_url":"https://timescale.info/timelines/a4e61463-27ff-44c4-945e-33fd193c7b3b/opengraph-image","thumbnail_width":1200,"thumbnail_height":630,"cache_age":3600}