NDLI: A formalization of typed lua

Please wait, while we are loading the content...

From APIs to languages: generalising method names

A formalization of typed lua

Compiling for multi-language task migration

Measuring polymorphism in python programs

Gradual certified programming in coq

High-performance cross-language interoperability in a multi-language runtime

Tracking down performance variation against source code evolution

Message safety in Dart

Java-to-JavaScript translation via structured control flow reconstruction of compiler IR

Server-side type profiling for optimizing client-side JavaScript engines

Control-flow analysis of dynamic languages via pointer analysis

Language-independent storage strategies for tracing-JIT-based virtual machines

An empirical investigation of the effects of type systems and code completion on API usability using TypeScript and JavaScript in MS visual studio

Access control to reflection with object ownership

A formalization of typed lua

Content Provider	ACM Digital Library
Author	Ierusalimschy, Roberto Maidl, André Murbach Mascarenhas, Fabio
Abstract	Programmers often migrate from a dynamically typed to a statically typed language when their simple scripts evolve into complex programs. Optional type systems are one way of having both static and dynamic typing in the same language, while keeping its dynamically typed semantics. This makes evolving a program from dynamic to static typing a matter of describing the implied types that it is using and adding annotations to make those types explicit. Designing an optional type system for an existing dynamically typed language is challenging, as its types should feel natural to programmers that are already familiar with this language. In this work, we give a formal description of Typed Lua, an optional type system for Lua, with a focus on two of its novel type system features: incremental evolution of imperative record and object types that is both lightweight and type-safe, and projection types, a combination of flow typing, functions that return multiple values, and multiple assignment. While our type system is tailored to the features and idioms of Lua, its features can be adapted to other imperative scripting languages. .
Starting Page	13
Ending Page	25
Page Count	13
File Format	PDF
ISBN	9781450336901
DOI	10.1145/2816707.2816709
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2015-10-21
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Gradual typing Lua Optional type systems
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in