French Machine de Krivine Cited by user 137.132.188.21 on 26 Mar 2023 En informatique théorique, la machine de Krivine est une machine abstraite (on peut aussi dire une machine virtuelle) au même titre que les machines de Turing ou que la…
English Krivine machine Cited by user Jo-lieang on 08 Mar 2023 In theoretical computer science, the Krivine machine is an abstract machine (sometimes called virtual machine).
English Meta-circular evaluator Cited by user Jo-lieang on 08 Mar 2023 In computing, a meta-circular evaluator (MCE) or meta-circular interpreter (MCI) is an interpreter which defines each feature of the interpreted language using a similar…
Greek Πολυμορφισμός υποτύπων Cited by user Dimitris131 on 23 Jul 2022 Στην θεωρία γλωσσών προγραμματισμού, πολυμορφισμός υποτύπων είναι μια μορφή πολυμορφισμού τύπων στην οποία ένας υποτύπος είναι ένας τύπος δεδομένων που σχετίζεται σε έναν…