bibliographer - Martin Abadi

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Smart Choices and the Selection Monad Martin Abadi Gordon Plotkin [github]

Smart Choices and the Selection Monad Martin Abadi Gordon Plotkin [github]

A Simple Differentiable Programming Language Martin Abadi Gordon Plotkin [github]

An old-fashioned recipe for real time Martín Abadi Leslie Lamport [github]

The geometry of optimal lambda reduction Georges Gonthier Martín Abadi Jean-Jacques Lévy [github]

A computational model for TensorFlow: an introduction Martín Abadi Michael Isard Derek G. Murray [github]

Dynamic control flow in large-scale machine learning Yuan Yu Martín Abadi Paul Barham Eugene Brevdo Mike Burrows Andy Davis Jeff Dean Sanjay Ghemawat Tim Harley Peter Hawkins Michael Isard Manjunath Kudlur Rajat Monga Derek Murray Xiaoqiang Zheng [github]

A simple differentiable programming language Martín Abadi Gordon Plotkin [github]

Library Size: 13G (8 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]