Global Information Lookup Global Information

Symposium on Principles of Programming Languages information


The annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with focus on fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming interfaces. The venue is jointly sponsored by two Special Interest Groups of the Association for Computing Machinery: SIGPLAN and SIGACT.

POPL ranks as A* (top 4%) in the CORE conference ranking.[1]

The proceedings of the conference are hosted at the ACM Digital Library. They were initially under a paywall, but since 2017 they are published in open access as part of the journal Proceedings of the ACM on Programming Languages (PACMPL).

  1. ^ "CORE ranking page for POPL". Archived from the original on 2019-02-05. Retrieved 2019-02-05.

and 21 Related for: Symposium on Principles of Programming Languages information

Request time (Page generated in 1.1701 seconds.)

Symposium on Principles of Programming Languages

Last Update:

SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with focus on fundamental...

Word Count : 204

Gradual typing

Last Update:

in JavaScript" (PDF). Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14. pp. 425–437. doi:10.1145/2535838...

Word Count : 1101

Actor model

Last Update:

Conference Record of ACM Symposium on Principles of Programming Languages, January 1974. Carl Hewitt, et al Behavioral Semantics of Nonrecursive Control...

Word Count : 7146

Programming language theory

Last Update:

in programming languages. The most well known conferences include the Symposium on Principles of Programming Languages (POPL), Programming Language Design...

Word Count : 1616

Dataflow programming

Last Update:

implementing dataflow principles and architecture. Dataflow programming languages share some features of functional languages, and were generally developed...

Word Count : 1615

Constraint programming

Last Update:

SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, 1987. Mayoh, Brian; Tyugu, Enn; Penjam, Jaan (1993). Constraint Programming. Springer...

Word Count : 2309

Haskell

Last Update:

functional programming languages existed. Miranda was the most widely used, but it was proprietary software. At the conference on Functional Programming Languages...

Word Count : 4530

List of computer science conferences

Last Update:

Conference on Object-Oriented Programming, Systems, Languages, and Applications POPL – ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages PLDI...

Word Count : 1322

Logic programming

Last Update:

Universality of data retrieval languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (pp. 110-119)...

Word Count : 10723

Larch Prover

Last Update:

reasoning about abstract data types," Fifteenth Annual ACM Symposium on Principles of Programming Languages, pages 219–228, San Diego, CA, January 1988. Stephen...

Word Count : 1558

Geometry of interaction

Last Update:

"The geometry of optimal lambda reduction". Proceedings of the 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '92. p...

Word Count : 328

Lazy evaluation

Last Update:

(1976). "A lazy evaluator". Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages - POPL '76. pp. 95–103. doi:10.1145/800168...

Word Count : 3606

OCaml

Last Update:

is a general-purpose, high-level, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features. OCaml was created...

Word Count : 3909

Linearizability

Last Update:

for concurrent objects". Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87. pp. 13–26. doi:10.1145/41625...

Word Count : 3292

Typestate analysis

Last Update:

of program analysis employed in programming languages. It is most commonly applied to object-oriented languages. Typestates define valid sequences of...

Word Count : 1834

Type safety

Last Update:

type-schemes for functional programs". Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82. Association...

Word Count : 3647

Dependent type

Last Update:

dependent types matter" (PDF). Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina...

Word Count : 2442

Matthias Felleisen

Last Update:

Conference on Functional Programming, 2004 European Conference on Object-Oriented Programming and the 2001 Symposium on Principles of Programming Languages, and...

Word Count : 472

International Conference on Functional Programming

Last Update:

Programming Language Design and Implementation POPL: Principles of Programming Languages PPDP: International Conference on Principles and Practice of...

Word Count : 299

Programming language

Last Update:

A programming language is a system of notation for writing computer programs. Programming languages are described in terms of their syntax (form) and...

Word Count : 8516

Empty type

Last Update:

polymorphic lambda calculus". Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87. Vol. 87. pp. 253–262. doi:10...

Word Count : 260

PDF Search Engine © AllGlobal.net