CiteULike dherman's CiteULike Search Register Log in
Tags

dherman's type-dynamic [15 articles]

 
Recent papers added to dherman's library classified by the tag type-dynamic. You can also see everyone's type-dynamic.
 

Interlanguage Migration: From Scripts to Programs

  [CiTO]
In Dynamic Languages Symposium (October 2006)
by Sam Tobin-Hochstadt, Matthias Felleisen
posted to gradual-typing hybrid-typing type-dynamic typed-scheme by dherman ✚ on 2007-06-14 18:27:58 ** along with 1 group NU-PRL
Copy My Attachments My Copy
 

Amber

  [CiTO]
In Combinators and functional programming languages (1986)
by Luca Cardelli
posted to amber dynamic-typing gradual-typing hybrid-typing type-dynamic by dherman ✚ on 2007-05-31 13:15:27 ** along with 1 group NU-PRL
Copy My Attachments My Copy
 

✔ The Quest Language and System

  [CiTO]
(1994)
by L. Cardelli
posted to dynamic-typing gradual-typing hybrid-typing quest type-dynamic by dherman ✚ on 2007-05-31 13:12:40 ** along with 1 person and 1 group tautologico NU-PRL
Abstract Copy My Attachments My Copy

Abstract

types should always define their own equality operation in their interface. ...
 

✔ The Cecil Language Specification and Rationale: Version 2.0

  [CiTO]
(1995)
by Craig Chambers
posted to dynamic-typing gradual-typing hybrid-typing type-dynamic by dherman ✚ on 2007-05-31 13:05:39 ** along with 1 person and 1 group Leho NU-PRL
Abstract Copy My Attachments My Copy

Abstract

Cecil is a purely object-oriented language intended to support rapid construction of high-quality, extensible software. Cecil combines multi-methods with a simple classless object model, a kind of dynamic inheritance, modules, and optional static type checking. Instance variables in Cecil are accessed solely through messages, allowing instance variables to be replaced or overridden by methods and vice versa. Cecil's predicate objects mechanism allows an object to be classified automatically... ...
 

Space-Efficient Gradual Typing

  [CiTO]
In Trends in Functional Programming (April 2007)
by David Herman, Aaron Tomb, Cormac Flanagan
posted to dynamic-typing gradual-typing hybrid-typing type-dynamic by dherman ✚ on 2007-05-31 12:49:51 ** along with 1 person and 1 group jrw NU-PRL
Copy My Attachments My Copy
 

✔ Dynamics in ML

  [CiTO]
In Functional Programming Languages and Computer Architecture, 5th ACM Conference, Vol. 523 (1991), pp. 406-426
by Leroy Xavier, Michael Mauny
edited by J. Hughes
posted to dynamic-typing gradual-typing hybrid-typing type-dynamic by dherman ✚ on 2007-05-31 12:48:24 ** along with 1 person and 1 group jrw NU-PRL
Abstract Copy My Attachments My Copy

Abstract

Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions of the ML language with dynamics, based on our work on the CAML implementation of ML, and discusses their usefulness. The main novelty of this work is the combination of dynamics with polymorphism. ...
 

Gradual Typing for Objects

  [CiTO]
In ECOOP (2007)
by Jeremy Siek, Walid Taha
posted to dynamic-typing gradual-typing type-dynamic by dherman ✚ on 2007-05-31 12:41:36 ** along with 1 person and 1 group jrw NU-PRL
Copy My Attachments My Copy
 

Gradual Typing for Functional Languages

  [CiTO]
In Workshop on Scheme and Functional Programming (September 2006)
by Jeremy G. Siek, Walid Taha
posted to dynamic-typing gradual-typing type-dynamic by dherman ✚ on 2006-09-21 17:30:51 ** along with 1 person and 1 group jacob NU-PRL
Copy My Attachments My Copy
 

✔ Introducing safe unknown types in Java-like languages

  [CiTO]
by Lagorio V. Dodecaneso
posted to dynamic-typing hybrid-typing javascript type-dynamic by dherman ✚ on 2006-02-08 16:13:19 ** along with 1 group NU-PRL
Abstract Copy My Attachments My Copy

Abstract

Most mainstream object-oriented languages, like C++, Java and C#, are statically typed. In recent years, untyped languages, in particular scripting languages for the web, have gained a lot of popularity notwithstanding the fact that the advantages of static typing, such as earlier detection of errors, are widely accepted. We think that one of the main reasons for their widespread adoption is that, in many situations, the ability of ignoring types can be handy to write simpler and more readable... ...
 

The Ins and Outs of type dynamic and Fine-Grained Interoperability

  [CiTO]
by Jacob Matthews, Robert B. Findler, Kathryn E. Gray, Matthew Flatt
posted to dynamic-typing hybrid-typing javascript multi-language type-dynamic by dherman ✚ on 2006-01-06 02:42:42 ** along with 1 group NU-PRL
Copy My Attachments My Copy
 

Data.Dynamic

  [CiTO]
posted to dynamic-typing hybrid-typing javascript type-dynamic by dherman ✚ on 2005-12-15 19:47:23 ** along with 1 group NU-PRL
Copy My Attachments My Copy
 

Static Typing Where Possible, Dynamic Typing When Needed

  [CiTO]
Workshop on Revival of Dynamic Languages (2005)
by Erik Meijer, Peter Drayton
posted to dynamic-typing hybrid-typing javascript type-dynamic by dherman ✚ on 2005-12-15 19:42:44 ** along with 7 people and 1 group ben_moseley bunge ds hamish JeffreyPalmer MichaelMoser msakai NU-PRL
Copy My Attachments My Copy
 

✔ Typing dynamic typing

  [CiTO]
In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 157-166, doi:10.1145/581478.581494
by Arthur I. Baars, S. Doaitse Swierstra
posted to dynamic-typing hybrid-typing javascript type-dynamic by dherman ✚ on 2004-12-23 16:57:39 along with 4 people and 1 group americovargas tautologico twleung zednenem NU-PRL
Copy My Attachments My Copy
 

✔ Dynamic Typing in Polymorphic Languages

  [CiTO]
In Proceedings of the ACM SIGPLAN Workshop on ML and its Applications (June 1992)
by M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, D. Rèmy
posted to dynamic-typing type-dynamic by dherman ✚ on 2004-12-23 16:54:35 along with 2 people and 1 group tautologico twleung NU-PRL
Abstract Copy My Attachments My Copy

Abstract

There are situations in programmingwhere some dynamic typing is needed, even in the presence of advanced static type systems. We investigate the interplay of dynamic types with other advanced type constructions, discussing their integration into languages with explicit polymorphism (in the style of system F ), implicit polymorphism (in the style of ML), abstract data types, and subtyping. Contents 1 Introduction 1 2 Review 2 3 Explicit Polymorphism 4 3.1 Higher-order pattern variables : : : ... ...
 

✔ Dynamic Typing in a Statically Typed Language

  [CiTO]
ACM Transactions on Programming Languages and Systems, Vol. 13, No. 2. (April 1991), pp. 237-268
by Mart∈ Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin
posted to dynamic-typing javascript type-dynamic by dherman ✚ on 2004-12-23 16:54:02 along with 9 people and 1 group amorkan clausej cogumbreiro hannes jacob lyongu oliverh tautologico twleung NU-PRL
Abstract Copy My Attachments My Copy

Abstract

Statically typed programming languages allow earlier error checking, better enforcement of disciplined programming styles, and generation of more efficient object code than languages where all type consistency checks are performed at run time. However, even in statically typed languages, there is often the need to deal with data whose type cannot be determined at compile time. To handle such situations safely, we propose to add a type Dynamic whose values are pairs of a value v and a type tag T ... ...
Note: You may cite this page as: http://www.citeulike.org/user/dherman/tag/type-dynamic

Create CiTO

Create a CiTO relationship by dragging the [CiTO] link onto another article.

Alternatively, drag two articles into the two boxes below. This is useful when the two articles are not on the same page - the articles will be remembered between pages.

This article...

...this one

Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.