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
in programming languages. The most well known conferences include the Symposium on Principles of Programming Languages (POPL), Programming Language Design...
15 KB (1,618 words) - 10:45, 11 June 2024
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...
16 KB (1,472 words) - 22:14, 5 August 2024
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...
80 KB (7,146 words) - 23:07, 11 September 2024
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) - 01:54, 29 July 2024
functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm...
86 KB (8,571 words) - 18:54, 17 August 2024
implementing dataflow principles and architecture. Dataflow programming languages share some features of functional languages, and were generally developed...
14 KB (1,622 words) - 06:25, 10 August 2024
Conference on Object-Oriented Programming, Systems, Languages, and Applications POPL – ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages PLDI...
14 KB (1,371 words) - 08:15, 18 September 2024
OCaml (redirect from Ocaml programming language)
is a general-purpose, high-level, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features. OCaml was created...
37 KB (4,007 words) - 12:41, 6 September 2024
SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Swamy, Nikhil; Martínez, Guido; Rastogi, Aseem (2024). Proof-Orented Programming in F*. Official...
7 KB (430 words) - 18:33, 5 September 2024