Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,117,924 papers from all fields of science
Search
Sign In
Create Free Account
Programming language theory
Known as:
PLT
, Programming language research
, Theory of programming languages
Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACM Transactions on Programming Languages and Systems
ALGOL 58
Actor model
Ad hoc polymorphism
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Compiling a reflective language using MetaOCaml
K. Asai
International Conference on Generative…
2015
Corpus ID: 1411018
A reflective language makes the language semantics open to user programs and allows them to access, extend, and modify it from…
Expand
2013
2013
Do developers benefit from generic types?: an empirical comparison of generic and raw types in java
M. Hoppe
,
Stefan Hanenberg
Conference on Object-Oriented Programming Systems…
2013
Corpus ID: 18588100
Type systems that permit developers to express themselves more precisely are one of the primary topics in programming language…
Expand
2009
2009
Lambda, the ultimate TA: using a proof assistant to teach programming language foundations
Benjamin C. Pierce
ACM SIGPLAN International Conference on…
2009
Corpus ID: 23408869
Ambitious experiments using proof assistants for programming language research and teaching are all the rage. In this talk, I'll…
Expand
Review
2009
Review
2009
Programming languages and program analysis for security: a three-year retrospective
Marco Pistoia
,
Ú. Erlingsson
SIGP
2009
Corpus ID: 17244884
Software security has been traditionally enforced at the level of operating systems. However, operating systems have become…
Expand
2008
2008
Reasoning about B+ Trees with Operational Semantics and Separation Logic
A. Sexton
,
Hayo Thielecke
Mathematical Foundations of Programming Semantics
2008
Corpus ID: 14337993
1997
1997
Type-Based Analysis of Communication for Concurrent Programming Languages
Atsushi Igarashi
,
N. Kobayashi
Sensors Applications Symposium
1997
Corpus ID: 6175499
Powerful concurrency primitives in recent concurrent languages and thread libraries provide the great flexibility about…
Expand
1989
1989
Expressing generalizations in unification-based grammar formalisms
M. Moens
,
Jonathan Calder
,
Ewan Klein
,
M. Reape
,
Henk Zeevat
Conference of the European Chapter of the…
1989
Corpus ID: 5845296
This paper shows how higher levels of generalization can be introduced into unification grammars by exploiting methods for typing…
Expand
1988
1988
Detecting stable properties of networks in concurrent logic programming languages
V. Saraswat
,
K. Kahn
,
David R. Weinbaum
ACM SIGACT-SIGOPS Symposium on Principles of…
1988
Corpus ID: 9071865
A significant motivation for programming language research is to find good abstractions and conceptual frameworks that enable us…
Expand
1988
1988
Programming language theory and its implementation - applicative and imperative paradigms
Prentice Hall International series in Computer…
1988
Corpus ID: 43785269
This volume introduces and explores those parts of programming language theory that have important applications in improving the…
Expand
1984
1984
Type inference and type checking for functional programming languages: A reduced computation approach
T. Katayama
LFP '84
1984
Corpus ID: 17533736
It is well recognized that type checking and in fe rence sys tems are very i mpor t a n t to develop correct programs if the p…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE
or Only Accept Required