✦ LIBER ✦

Term Rewriting with Type-safe Traversal Functions

✍ Scribed by M.G.J. van den Brand; P. Klint; J.J. Vinju

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Typed generic traversal with term rewrit

✍ Ralf Lämmel 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 726 KB

Safe typing of functional logic programs

✍ López-Fraguas, Francisco J.; Martin-Martin, Enrique; Rodríguez-Hortalá, Juan 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 672 KB

Saturation-type exponential function wit

✍ F. Keller; M. Giehl 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 210 KB

Long-term functional outcomes in patient

✍ Hideaki Miyake; Junya Furukawa; Atsushi Takenaka; Nozomu Yamanaka; Masato Fujisa 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 71 KB

Short-Term oral folic acid supplementati

✍ Arduino A. Mangoni; Roy A. Sherwood; Belinda Asonganyi; Cameron G. Swift; Stephe 📂 Article 📅 2005 🏛 Nature Publishing Group 🌐 English ⚖ 119 KB

Contrasting renal functional reserve in

✍ H. Sackmann; T. Tran-Van; I. Tack; H. Hanaire-Broutin; J.-P. Tauber; J.-L. Ader 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 79 KB