Essays about: "untyped"

Found 3 essays containing the word untyped.

  1. 1. TYPED VS UNTYPED PROGRAMMING LANGUAGES

    University essay from Malmö universitet/Institutionen för datavetenskap och medieteknik (DVMT)

    Author : Ouail Bni; Artur Kamil Matusiak; [2022]
    Keywords : javascript; typescript; typed; untyped; programming; web; agile;

    Abstract : TypeScript (TS) has been growing in popularity since its release in October 2012. It is beingadopted by many tech companies who specialize in web development. However, migrating old JSprojects to TS can be challenging and time consuming which can prove problematic due to limitedtime at the developers’ disposal. READ MORE

  3. 2. Formalizing domain models of the typed and the untyped lambda calculus in Agda

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : David Lidell; [2020-12-17]
    Keywords : Agda; categories with families; domain interpretation; lambda calculus; sized types;

    Abstract : We present a domain interpretation of the simply typed and the untyped lambda calculus. The interpretations are constructed using the notion of category with families, with added structure. READ MORE

  4. 3. On implementing multiple pluggable dynamic language frontends on the JVM, using the Nashorn runtime

    University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

    Author : Andreas Gabrielsson; [2015]
    Keywords : Nashorn; Javascript; Typescript; invoke dynamic; bytecode;

    Abstract : Nashorn is a JavaScript engine that compiles JavaScript source code to Java bytecode and executes it on a Java Virtual Machine. The new bytecode in-struction invokedynamic that was introduced in Java 7 to make it easier for dynamic languages to handle linking at runtime is used frequently by Nashorn. READ MORE