Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,995,173 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.
2019
2019
Usability Methods for Designing Programming Languages for Software Engineers
Michael J. Coblenz
,
Gauri Kambhatla
,
+5 authors
B. Myers
2019
Corpus ID: 210839600
Programming language design requires making many usability-related design decisions. We explored using user-centered methods to…
Expand
2018
2018
On "Methodological Irregularities in Programming Language Research"
J. Gibbons
2018
Corpus ID: 64756192
Stefik and Hanenberg recently published an opinion piece on “methodological irregularities in programming-language research” [1…
Expand
2011
2011
Liberating Composition from Language Dictatorship through First-class Composition
Christoph Bockisch
2011
Corpus ID: 11915084
The software engineering discipline faces many challenges; one of the important challenges is managing the complexity of software…
Expand
2009
2009
Higher-Order Program Verification and Language-Based Security
Asian Computing Science Conference
2009
Corpus ID: 45514937
Language-based security has been a hot research area of computer security in the last decade. It addresses various concerns about…
Expand
2003
2003
Dance : A Declarative Language for the Control of Humanoid Robots Research Report YALEU / DCS / RR-1253
Liwen Huang
,
P. Hudak
2003
Corpus ID: 12160061
Robots are becoming increasingly common in, and important to, many commercial, industrial, and military applications. This paper…
Expand
2002
2002
Structural Induction and the λ-Calculus
René Vestergaard
2002
Corpus ID: 1200934
We consider formal provability with structural induction and related proof principles in the λ-calculus presented with first…
Expand
Review
1999
Review
1999
Sams Teach Yourself Data Structures and Algorithms in 24 Hours
Robert W. Lafore
1999
Corpus ID: 60391011
Introduction. What This Book Is About. What's Different About This Book. Who This Book Is For. What You Need to Know Before You…
Expand
1988
1988
MPL-a graphical programming environment for matrix processing based on logic and constraints
R. Yeung
[Proceedings] IEEE Workshop on Visual Languages
1988
Corpus ID: 38290647
The matrix is a commonly used two-dimensional data structure. On a two-dimensional display, 2-D data structures are more suitable…
Expand
1987
1987
On shared systems
J. Jacob
1987
Corpus ID: 59690031
Most computing systems are shared between users of various kinds. This thesis treats such systems as mathematical objects, and…
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