Sciweavers

Share
2930 search results - page 1 / 586
» A Type System for Prototyping Languages
Sort
View
POPL
1994
ACM
10 years 1 days ago
A Type System for Prototyping Languages
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...
Dinesh Katiyar, David C. Luckham, John C. Mitchell
ICFP
1997
ACM
10 years 4 days ago
A Practical Subtyping System For Erlang
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...
Simon Marlow, Philip Wadler
EUROCAST
2001
Springer
118views Hardware» more  EUROCAST 2001»
10 years 13 days ago
A Language Prototyping Tool Based on Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic speciļ¬cations. The theoretical basis of our system is the integrat...
José Emilio Labra Gayo, Juan Manuel Cueva L...
ICFP
2001
ACM
10 years 8 months ago
Compositional Explanation of Types and Algorithmic Debugging of Type Errors
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
Olaf Chitil
ECOOP
2010
Springer
10 years 23 days ago
Recency Types for Analyzing Scripting Languages
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
Phillip Heidegger, Peter Thiemann
books