Practical Aspects of Declarative Languages
16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings
Page
%P
10 Result(s)
-
Book and Conference Proceedings
-
Chapter and Conference Paper
Distributed Places
Distributed Places bring new support for distributed, message-passing parallelism to Racket. This paper gives an overview of the programming model and how we had to modify our existing, runtime-system to suppo...
-
Chapter and Conference Paper
Ty** the Numeric Tower
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically typed relatives support the ...
-
Chapter and Conference Paper
A Framework for Modular Linking in OO Languages
The successful assembly of large programs out of software components depends on modular reasoning. When the linking of component code is modular, components can be compiled and type checked separately, deployed i...
-
Chapter and Conference Paper
Scheme with Classes, Mixins, and Traits
The Scheme language report advocates language design as the composition of a small set of orthogonal constructs, instead of a large accumulation of features. In this paper, we demonstrate how such a design sca...
-
Chapter and Conference Paper
Syntactic Abstraction in Component Interfaces
In this paper, we show how to combine a component system and a macro system. A component system separates the definition of a program fragment from the statements that link it, enabling independent compilation...
-
Chapter and Conference Paper
A Visual Environment for Develo** Context-Sensitive Term Rewriting Systems
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in establishing type soundness proof...
-
Chapter and Conference Paper
Semantic Casts: Contracts and Structural Subty** in a Nominal World
Nominal subty** forces programmers to explicitly state all of the subty** relationships in the program. This limits component reuse, because programmers cannot anticipate all of the contexts in which a par...
-
Chapter and Conference Paper
Modeling an Algebraic Stepper
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which are the most important tools...
-
Chapter and Conference Paper
DrScheme: A pedagogic programming environment for scheme
Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scientific interests. Unfortunately, the poor qualit...
