"[1C4EFC61BC64]" . . . "Using LLVM for a functional programming language implementation"@en . . "0922-6389" . . . . "Ciprich, Nikola" . "Amsterodam" . . "P(GAP401/10/0792)" . . "1"^^ . "1"^^ . . "2011-06-04+02:00"^^ . . . "7"^^ . "LLVM, virtual machines, Lambda calculus, Transparent Intensional Logic, TIL-Script"@en . "Using LLVM for a functional programming language implementation"@en . "Using LLVM for a functional programming language implementation" . . "Information modelling and knowledge bases XXIII" . . "Using LLVM for a functional programming language implementation" . "RIV/61989100:27240/11:86081816!RIV12-GA0-27240___" . "RIV/61989100:27240/11:86081816" . . . "This paper outlines the possibilities which LLVM (Low Level Virtual Machine) framework offers to implementors of functional programming languages. First, the LLVM is briefly introduced. Then its use is demonstrated on implementation of a simple functional programming language named Tiny. Our primary goal is to implement the TIL-Script functional programming language that is a computational variant of Transparent Intensional Logic (TIL). We outline the main principles of its implementation using the LLVM framework"@en . . "237351" . "IOS Press" . . . "27240" . . "This paper outlines the possibilities which LLVM (Low Level Virtual Machine) framework offers to implementors of functional programming languages. First, the LLVM is briefly introduced. Then its use is demonstrated on implementation of a simple functional programming language named Tiny. Our primary goal is to implement the TIL-Script functional programming language that is a computational variant of Transparent Intensional Logic (TIL). We outline the main principles of its implementation using the LLVM framework" . "Tallin" . "978-1-60750-991-2" .