SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with focus on fundamental...
2 KB (204 words) - 07:09, 13 September 2023
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13. p. 263. doi:10.1145/2429069.2429101. ISBN 9781450318327...
17 KB (1,548 words) - 11:11, 7 June 2025
Actor model (redirect from List of actor programming languages)
Conference Record of ACM Symposium on Principles of Programming Languages, January 1974. Carl Hewitt, et al Behavioral Semantics of Nonrecursive Control...
81 KB (7,145 words) - 15:49, 22 June 2025
in programming languages. The most well known conferences include the Symposium on Principles of Programming Languages (POPL), Programming Language Design...
15 KB (1,613 words) - 14:01, 18 July 2025
Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical...
85 KB (10,752 words) - 07:27, 12 July 2025
Gradual typing (redirect from List of gradually typed programming languages)
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...
10 KB (1,108 words) - 05:26, 24 June 2025
(January 1992). The essence of functional programming. 19th Annual ACM Symposium on Principles of Programming Languages. Albuquerque, New Mexico. CiteSeerX 10...
75 KB (9,297 words) - 08:34, 12 July 2025
Programming Language Design and Implementation POPL: Principles of Programming Languages PPDP: International Conference on Principles and Practice of...
3 KB (299 words) - 09:31, 28 December 2024
influenced the design of programming languages, with the most common type (imperative languages) developed to perform well on the popular von Neumann...
63 KB (7,319 words) - 15:22, 10 July 2025
Inheritance is not subtyping. Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). pp. 125–135. CiteSeerX 10.1...
32 KB (3,819 words) - 09:34, 16 May 2025
functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm...
87 KB (8,682 words) - 02:26, 12 July 2025
SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Swamy, Nikhil; Martínez, Guido; Rastogi, Aseem (2024). Proof-Orented Programming in F*. Official...
7 KB (427 words) - 11:24, 5 July 2025
motion of control structures in high-level languages". Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL...
33 KB (4,002 words) - 14:53, 16 July 2025
analysis of dynamically allocated objects". POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York...
26 KB (3,048 words) - 13:43, 8 July 2025
approach to global program optimization". Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. pp...
8 KB (978 words) - 10:11, 10 June 2025
implementing dataflow principles and architecture. Dataflow programming languages share some features of functional languages, and were generally developed...
14 KB (1,616 words) - 06:18, 21 April 2025
dependent types matter" (PDF). Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina...
26 KB (2,609 words) - 06:21, 18 July 2025
Type system (redirect from Typed (programming languages))
"Dependent Types in Practical Programming". Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM. pp. 214–227. CiteSeerX 10...
57 KB (7,205 words) - 16:47, 21 June 2025
Linearizability (redirect from Atomicity (programming))
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...
24 KB (3,291 words) - 10:59, 7 February 2025
Research Center, Proceedings of the Fifteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, San Diego, CA, January 1988...
9 KB (897 words) - 08:52, 8 April 2024
Data-flow analysis (section Basic principles)
approach to global program optimization" (PDF). Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73....
28 KB (3,562 words) - 13:44, 6 June 2025
Radhia Cousot (category Programming language researchers)
"Systematic design of program analysis frameworks". Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79. ACM...
10 KB (932 words) - 23:23, 10 November 2023
Lazy evaluation (redirect from Short circuit (programming))
(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...
30 KB (3,549 words) - 22:32, 24 May 2025
Verification, Optimality". Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (PDF). pp. 271–284. doi:10.1145/2535838...
29 KB (3,385 words) - 19:59, 5 July 2025
(1995). "The geometry of interaction machine". Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95. pp. 198–208...
4 KB (490 words) - 15:27, 11 April 2025
Typestate analysis (category Program analysis)
of program analysis employed in programming languages. It is most commonly applied to object-oriented languages. Typestates define valid sequences of...
14 KB (1,852 words) - 03:52, 6 July 2025
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...
2 KB (260 words) - 20:45, 30 July 2024
Structured exception handling. Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '75. pp. 204–224. doi:10.1145/512976...
59 KB (6,910 words) - 21:36, 15 July 2025
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, is an academic conference in the field of parallel programming. PPoPP is sponsored...
2 KB (175 words) - 13:22, 25 May 2021
Tim Sweeney (category Academy of Interactive Arts & Sciences Hall of Fame inductees)
Developer's Perspective. Symposium on Principles of Programming Languages (POPL) – via MIT CSAIL. Tim Sweeney (2008). Wild Speculation on Consumer Workloads:...
20 KB (1,843 words) - 20:41, 20 June 2025