MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Type Systems for Programming Languages." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

149 documents found, showing 1 through 10. Next 10 →

ATOM

Type Systems for Programming Languages
by Steffen van Bakel — 2001
…Type Systems for Programming Languages Course Notes Steffen van Bakel Department of Computing…
Add To MetaCart

Type Systems for Programming Languages
by Robert Harper — 1996
…Type Systems for Programming Languages 1 (DRAFT) Robert Harper School of Computer Science…
Add To MetaCart

Logic-enhanced type systems: Programming language support for reasoning about security and other
by Nikolaos S. Papaspyrou, Dimitrios Ch, Vytiniotis Vassilios, M. Koutavas — 2003 — in Proceedings of the 4th Panhellenic Logic Symposium
…Logic-Enhanced Type Systems: Programming Language Support for Reasoning about Security and Other…
Cited by 1 (1 self) – Add To MetaCart

On the relation between rank 2 intersection types and simple types
by Ra Alves, Mário Florido — 2002 — In Joint Conference on Declarative Programming (AGP’2002
… of functional programming languages. This system includes the powerful type system of the functional language ML…
Cited by 1 (1 self) – Add To MetaCart

On Type Systems for Object-Oriented Database Programming Languages
by Duane Szafron
… On Type Systems for Object-Oriented Database Programming Languages YURI LEONTIEV Intuit Canada…
Add To MetaCart

Type systems for concurrent programs
by Naoki Kobayashi — 2003 — In Proc. of 10th Anniversary Colloquium of UNU/IIST, volume 2757 of LNCS
… Institute of Technology kobayasi@(email omitted); Abstract. Type systems for programming languages help…
Cited by 7 (2 self) – Add To MetaCart

Extensible records with scoped labels
by Daan Leijen — 2005 — In: Proceedings of the 2005 Symposium on Trends in Functional Programming
… with existing type systems and programming languages. In the next section we introduce the basic record…
Cited by 2 (0 self) – Add To MetaCart

Dependent Types Ensure Partial Correctness of Theorem Provers
by Andrew W. Appel, Amy P. Felty — 2002
…. Dependent types are more expressive than the type systems in most programming languages, so languages…
Cited by 9 (0 self) – Add To MetaCart

Semantic Orthogonality of Type Disciplines
by Jon G. Riecke, Ramesh Subrahmanyam — 1997
… language. 1 Introduction Type systems for programming languages are rarely monolithic: although a type…
Cited by 1 (0 self) – Add To MetaCart

A Syntactic Approach to Type Soundness
by Andrew K. Wright, Matthias Felleisen — 1992 — Information and Computation
… for programming languages attempt to prevent the occurrence of type errors during execution. A definition of type…
Cited by 420 (19 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB