✦ LIBER ✦

A Type-Safe Embedding of XDuce into ML

✍ Scribed by Martin Sulzmann; Kenny Zhuo Ming Lu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A typed encoding of boxed into safe ambi

✍ Francesca Levi 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 893 KB

Static insertion of safe and effective m

✍ Oukseh Lee; Hongseok Yang; Kwangkeun Yi 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 524 KB

Minimum embedding of a into a

✍ Giorgio Ragusa; Antoinette Tripodi 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 254 KB

Embedding of Shifts of Finite Type into

✍ T. Hamachi; K. Inoue 📂 Article 📅 2005 🏛 Springer Vienna 🌐 English ⚖ 189 KB

A Theorem of Strong-Embedding Type

✍ Thwaites, G. N. 📂 Article 📅 1974 🏛 Oxford University Press 🌐 English ⚖ 152 KB

Structure of MnO nanoparticles embedded

✍ I. V. Golosovsky; I. Mirebeau; E. Elkaim; D. A. Kurdyukov; Y. A. Kumzerov 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 501 KB