Skip to search formSkip to main contentSkip to account menu
Type Analysis for JavaScript
TLDR
A static program analysis infrastructure that can infer detailed and sound type information for JavaScript programs using abstract interpretation is presented, designed to support the full language as defined in the ECMAScript standard, including its peculiar object model and all built-in functions.
View via Publisher
Towards a Type System for Analyzing JavaScript Programs
TLDR
A type system that tracks the possible traits of an object and flags suspicious type conversions is defined and there is a type soundness proof with respect to an operational semantics of JavaScript.
View via Publisher
An Implementation of Session Types
A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying stream-based Internet protocols.
View via Publisher
Cogen in six lines
We have designed and implemented a program-generator generator (PGG) for an untyped higher-order functional programming language. The program generators perform continuation-based multi-level offline…
View on ACM
A typed representation for HTML and XML documents in Haskell
  • Peter Thiemann
  • Computer Science
    Journal of Functional Programming
  • 1 July 2002
TLDR
A family of embedded domain specific languages for generating HTML and XML documents, implemented as a combinator library in Haskell that support element-transforming style, a programming style that allows programs to have a visual appearance similar to HTML/XML documents, without modifying the syntax of Haskell.
View on Cambridge Press
Gradual Security Typing with References
TLDR
ML-GS is proposed, a monomorphic ML core language with references and higher-order functions that implements gradual typing for IFC that enables non-trivial casts on reference types so that a reference can be safely used everywhere in a program regardless of whether it was created in a dynamically or statically checked part of the program.
View on IEEE
An embedded domain-specific language for type-safe server-side web scripting
TLDR
WASH/CGI is an embedded domain-specific language for server-side Web scripting that relies on the strongly typed, purely functional programming language Haskell as a host language, and provides extensive guarantees due to its pervasive use of type information.
View on ACM
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms
TLDR
WASH/CGI is a Haskell library for server-side Web scripting that incorporates the concept of a session, provides a typed, compositional approach to constructing interaction elements (forms), and relies on call-backs to specify control flow.
View via Publisher
Optimized Java Binary and Virtual Machine for Tiny Motes
TLDR
TakaTuka’s optimization of program memory usage is focused on, which optimizes storage requirements for the Java classfiles as well as for the JVM interpreter, both of which are expected to be stored on the embedded devices.
View via Publisher
Syntactic Type Soundness Results for the Region Calculus
TLDR
Two small-stop operational semantics for the region calculus are presented and proven equivalent to the original big-step operational approach t Tofte and Taplin and its additional expressiveness allows us to model operations on references with destructive update.
View via Publisher
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License