. "Using LLVM for a functional programming language implementation" . "8.074"^^ . . "ecA-6i34s5qUKzjN.R9Yh0VVjw4=" . . "RIV/61989100:27240/11:86081816!RIV12-GA0-27240___" . . . . "http://www.isvav.cz/h12/resultDetail.do?rowId=RIV%2F61989100%3A27240%2F11%3A86081816!RIV12-GA0-27240___"^^ . "Information modelling and knowledge bases XXIII" . "1"^^ . . . "8"^^ . . "8"^^ . "\u010Dl\u00E1nek ve sborn\u00EDku evidovan\u00E9m v datab\u00E1zi Conference Proceedings Citation Index spole\u010Dnosti Thomson Reuters (dohled\u00E1no podle ISSN)" . "8.074"^^ . . .