Entwurf und Implementierung einer Programmiersprache im studentischen Projekt Monty's Coconut
- Philosophy, Computer ScienceSoftware Engineering
Daruber hinaus sind weitere Konzepte in der gegenwartigen Fassung der Sprache noch nicht enthalten: lokale Typinferenz, Lambda-Funktionen, eingeschrankt generische Parameter and die explizite Verwendung of Mutability and Immutability.
SHOWING 1-10 OF 22 REFERENCES
Combinators and Functional Programming Languages
- Computer ScienceLecture Notes in Computer Science
The Amber language embeds many recent ideas in programming language design, and tries to introduce all the features in their minimal, essential, form, and the combination of higher-order functions and multiple inheritance can be strongly typed.
Scripting: Higher-Level Programming for the 21st Century
- Computer ScienceComputer
This article explains why scripting languages will handle many of the programming tasks in the next century better than system programming languages.
Adding type parameterization to the Java language
- Computer ScienceOOPSLA '97
This paper proposes parameterized classes and interfaces in which the type parameter may be constrained to either implement a given interface or extend a given class, without introducing any new type relations into the language.
Compatible genericity with run-time types for the Java programming language
- Computer ScienceOOPSLA '98
This paper explains how to support general type parameterization---including both non-variant and covariant subtyping---on top of the existing Java Virtual Machine at the cost of a larger code footprint and the forwarding of some method calls involving parameterized classes and methods.
The World of Scripting Languages
- Computer Science
The author explores the hottest languages being used on the Web and in software such as Microsoft Office, including Perl V, Tcl, World Basic, Java Script, Visual Basic, and VB Script.
Dynamic typing in a statically-typed language
- Computer SciencePOPL '89
This paper is an exploration of the syntax, operational semantics, and denotational semantics of a simple language with the type Dynamic, and discusses an operational semantics for this language and obtains a soundness theorem.
Making the future safe for the past: adding genericity to the Java programming language
- Computer ScienceOOPSLA '98
GJ increases expressiveness and safety: code utilizing generic libraries is no longer buried under a plethora of casts, and the corresponding casts inserted by the translation are guaranteed to not fail.
Parameterized types for Java
- Computer SciencePOPL '97
The rationale for the design decisions and the impact of the extension on other parts of Java, including arrays and the class library are discussed, and optional extensions to the Java virtual machine to allow parameterized bytecodes are described, and how to verify them efficiently.
Unboxed objects and polymorphic typing
- Computer SciencePOPL '92
A program transformation that allows languages with polymorphic typing to be implemented with unboxed, multi-word data representations with coercions between various representations, based on a typing derivation is presented.