Type systems directed programming language evolution: overview and research trends

Authors:
Jaime Niño
Affiliations:
University of New Orleans, New Orleans, LA
Venue:
Proceedings of the 50th Annual Southeast Regional Conference
Year:
2012

Citing 20
Cited 0

Why functional programming matters

The Computer Journal - Special issue on Lazy functional programming
Dynamic typing in a statically typed language

ACM Transactions on Programming Languages and Systems (TOPLAS)
Soft typing

PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Dylan programming: an object-oriented and dynamic language

Dylan programming: an object-oriented and dynamic language
A practical subtyping system for Erlang

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Types and programming languages

Types and programming languages
The Art of the Metaobject Protocol

The Art of the Metaobject Protocol
Scripting: Higher-Level Programming for the 21st Century

Computer
A brief history of just-in-time

ACM Computing Surveys (CSUR)
Mirrors: design principles for meta-level facilities of object-oriented programming languages

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Interlanguage migration: from scripts to programs

Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Programming in Lua, Second Edition

Programming in Lua, Second Edition
On the performance of the Python programming language for serial and parallel scientific computations

Scientific Programming
Guest Editors' Introduction: Dynamically Typed Languages

IEEE Software
The design and implementation of typed scheme

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Whiteoak: introducing structural typing into java

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Characterizing insecure javascript practices on the web

Proceedings of the 18th international conference on World wide web
Thorn: robust, concurrent, extensible scripting on the JVM

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
On the revival of dynamic languages

SC'05 Proceedings of the 4th international conference on Software Composition

Quantified Score

Hi-index	0.00

Visualization

Abstract

The popularity of untyped languages witnessed in the last decade compelled us to evaluate them against modern typed languages and programming methods. We analyze their differences seeking to bridge the gap. We conclude with an analysis of trends in language design that seeks a language having the strengths from both camps.