✦ LIBER ✦

A typed encoding of boxed into safe ambients

✍ Scribed by Francesca Levi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Type-Safe Embedding of XDuce into ML

✍ Martin Sulzmann; Kenny Zhuo Ming Lu 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 410 KB

Minimal Partitions Of A Box Into Boxes

✍ Jarosław Grytczuk; Andrzej P. Kisielewicz; Krzysztof Przesławski 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 English ⚖ 190 KB

A space-indexed formulation of packing b

✍ Sam D. Allen; Edmund K. Burke; Jakub Mareček 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 603 KB

On the number of minimal partitions of a

✍ Andrzej P. Kisielewicz; Krzysztof Przesławski 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 156 KB

Representation inheritance: a safe form

✍ Edwards, S.H. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 176 KB

Heat release into the ambient medium fro

✍ V. P. Kobyakov; I. V. novikov; M. A. Sichinava 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 257 KB