Programmable semantic fragments: the design and implementation of typy

No abstract is available for this paper.

• Publication year

  2016

• Venue

  International Conference on Generative Programming: Concepts and Experiences

• Publication date

  2016-10-20

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2993236.2993245
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• How to Build Static Checking Systems Using Orders of Magnitude Less Code

  2016cited by this paper
• Type systems for the masses: deriving soundness proofs and efficient checkers

  2015cited by this paper
• Towards the Essence of Hygiene

  2015cited by this paper
• Understanding TypeScript

  2014cited by this paper
• Statically typed string sanitation inside a python

  2014cited by this paper
• Safely Composable Type-Specific Languages

  2014cited by this paper
• Design and evaluation of gradual typing for python

  2014cited by this paper
• The OCaml system release 4.07: Documentation and user's manual

  2013cited by this paper
• Modular type-safety proofs in Agda

  2013cited by this paper
• TeJaS: retrofitting type systems for JavaScript

  2013cited by this paper
• Scala macros: let our powers combine!: on how rich syntax and static types work with metaprogramming

  2013cited by this paper
• Python: the full monty

  2013cited by this paper
• Meta-theory à la carte

  2013cited by this paper
• Complete and easy bidirectional typechecking for higher-rank polymorphism

  2013cited by this paper
• A framework for extensible languages

  2013influential reference
• The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge

  2013cited by this paper
• Extensibility for the Masses - Practical Extensibility with Object Algebras

  2012cited by this paper
• Honu: syntactic extension for algebraic notation through enforestation

  2012cited by this paper
• The Design and Implementation of Typed Scheme: From Scripts to Programs

  2011cited by this paper
• Product lines of theorems

  2011cited by this paper
• Creating languages in Racket

  2011cited by this paper
• The NumPy Array: A Structure for Efficient Numerical Computation

  2011cited by this paper
• Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs

  2010cited by this paper
• JavaCOP: Declarative pluggable types for java

  2010cited by this paper
• A verified compiler for an impure functional language

  2010cited by this paper
• A syntactic account of singleton types via hereditary substitution

  2009cited by this paper
• PyCUDA and PyOpenCL: A scripting-based approach to GPU run-time code generation

  2009influential reference
• The OpenCL specification

  2009cited by this paper
• Semantics Engineering with PLT Redex

  2009cited by this paper
• Verifiable composition of deterministic grammars

  2009cited by this paper
• Xoc, an extension-oriented compiler for systems programming

  2008cited by this paper
• Building language towers with Ziggurat

  2008cited by this paper
• Silver: An extensible attribute grammar system

  2008influential reference
• Domain specific language implementation via compile-time meta-programming

  2008cited by this paper
• Advanced Macrology and the Implementation of Typed Scheme

  2007cited by this paper
• Python for Scientific Computing

  2007cited by this paper
• Operational semantics for multi-language programs

  2007cited by this paper
• RPython: a step towards reconciling dynamically and statically typed OO languages

  2007cited by this paper
• The JastAdd extensible Java compiler

  2007cited by this paper
• Gradual Typing for Objects

  2007cited by this paper
• A framework for implementing pluggable type systems

  2006cited by this paper
• Gradual Typing for Functional Languages

  2006cited by this paper
• Mechanized Metatheory for the Masses: The PoplMark Challenge

  2005cited by this paper
• Pluggable Type Systems

  2004cited by this paper
• Automated scientific software scripting with SWIG

  2003cited by this paper
• Haskell 98 language and libraries : the revised report

  2003influential reference
• TinkerType: a language for playing with formal systems

  2003cited by this paper
• Polyglot: An Extensible Compiler Framework for Java

  2003cited by this paper
• Implementing Extensible Compilers

  2001cited by this paper
• Colored local type inference

  2001cited by this paper
• The coq proof assistant reference manual

  2000cited by this paper
• Interlanguage working without tears: blending SML with Java

  1999cited by this paper
• Local type inference

  1998cited by this paper
• TIL: a type-directed optimizing compiler for ML

  1996cited by this paper
• Language-Oriented Programming

  1994cited by this paper
• User-defined types and procedural data structures as complementary approaches to data abstraction

  1994cited by this paper
• The art of the Metaobject Protocol

  1993cited by this paper
• Institut national de recherche en informatique et en automatique

  1992cited by this paper
• Refinement types for ML

  1991cited by this paper
• SELF: The power of simplicity

  1987cited by this paper
• Using prototypical objects to implement shared behavior in object-oriented systems

  1986cited by this paper
• Hygienic macro expansion

  1986cited by this paper
• Lambda Calculus: Some Models, Some Philosophy

  1980cited by this paper
• A Theory of Type Polymorphism in Programming

  1978cited by this paper
• Revised Report on the Algorithmic Language ALGOL 68

  1976cited by this paper
• Programming-in-the-Large Versus Programming-in-the-Small

  1975cited by this paper
• FOUNDATIONS

  1971cited by this paper
• MACRO Definitions for LISP

  1963cited by this paper
• Under Consideration for Publication in J. Functional Programming Macros That Work Together Compile-time Bindings, Partial Expansion, and Definition Contexts

  year unknowncited by this paper

• Research on Fuzzing Technology for JavaScript Engines

  2021cites this paper
• Decidable subtyping for path dependent types

  2019cites this paper
• Type systems as macros

  2017cites this paper
• A Bibliography of Publications about the Python Scripting and Programming Language

  2015cites this paper