✦ LIBER ✦

Type inference in stack based languages

✍ Scribed by Bill Stoddart; Peter J. Knaggs

Book ID: 105120370
Publisher: Springer
Year: 1993
Tongue: English
Weight: 433 KB
Volume: 5
Category: Article
ISSN: 0934-5043
DOI: 10.1007/bf01212404

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Implementing data abstraction features i

Implementing data abstraction features in a stack-based language

✍ J. D. Gannon; J. Rosenberg 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 885 KB

A Semantics for Static Type Inference in

A Semantics for Static Type Inference in a Nondeterministic Language

✍ M. Abadi 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 257 KB

Chomsky-Schutzenberger Type Characteriza

Chomsky-Schutzenberger Type Characterizations Based on Contextual Languages

✍ Victor Mitrana 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 73 KB

Type system in programming languages

✍ Hui Jiang; Dong Lin; Xingyuan Zhang; Xiren Xie 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 529 KB

Language-Based Program Verification via

Language-Based Program Verification via Expressive Types

✍ Martin Sulzmann; Răzvan Voicu 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 328 KB

Carcinogen–base stacking and base–base s

Carcinogen–base stacking and base–base stacking in dCpdG modified by (+) and (−) anti-BPDE

✍ Brian E. Hingerty; Suse Broyde 📂 Article 📅 1985 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 916 KB

The low-energy conformations accessible to dCpdG modified at guanine N2 via trans epoxide opening by (+ 1 and (-1 7~,8a-dihydroxy-9a,lOa-epoxy-7,8,9,lO-tetrahydrobenzo(a)pyrene (anti-BPDE) have been delineated by minimized semiempirical potentialenergy calculations with all torsion angles flexible.