Find link

Symposium on Principles of Programming Languages not in Functional programming

language:

jump to random article

view article
Find link is a tool written by Edward Betts.

searching for Symposium on Principles of Programming Languages 127 found (151 total)

alternate case: symposium on Principles of Programming Languages

F* (programming language) (427 words) [view diff] exact match in snippet view article

"Dijkstra Monads for Free". 44nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Swamy, Nikhil; Hriţcu, Cătălin; Keller, Chantal; Rastogi
Value numbering (981 words) [view diff] case mismatch in snippet view article find links to article
Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. pp. 194–206. doi:10.1145/512927.512945
Gradual typing (1,108 words) [view diff] case mismatch in snippet view article find links to article
typing". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. ACM. pp. 367–381. doi:10.1145/96709.96747
Pointer analysis (1,540 words) [view diff] case mismatch in snippet view article find links to article
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL '11. Austin, Texas, USA: Association for Computing
Refinement type (413 words) [view diff] exact match in snippet view article find links to article
Refinement Types for Haskell. The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018). Volkov, Nikita (2015). "Refinement types
Polymorphic recursion (740 words) [view diff] case mismatch in snippet view article find links to article
POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA: ACM. pp. 188–201. doi:10.1145/174675
Database theory (372 words) [view diff] case mismatch in snippet view article find links to article
languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (pp. 110-119). Maier, D., Tekle, K.T., Kifer, M. and
Type class (2,304 words) [view diff] exact match in snippet view article find links to article
ad hoc". Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '89). Association for Computing Machinery. pp
Region-based memory management (3,052 words) [view diff] case mismatch in snippet view article find links to article
POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA: ACM. doi:10.1145/73560.73585. Retrieved
Matthew Flatt (468 words) [view diff] case mismatch in snippet view article find links to article
mixins". Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98. New York, NY, USA: Association for Computing
Static single-assignment form (4,002 words) [view diff] case mismatch in snippet view article find links to article
languages". Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86. pp. 70–85. doi:10.1145/512644.512651. S2CID 9099471
Data-flow analysis (3,562 words) [view diff] case mismatch in snippet view article find links to article
Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. pp. 194–206. doi:10.1145/512927.512945
Nuprl (522 words) [view diff] exact match in snippet view article find links to article
theory" (PDF). Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. pp. 680–693. doi:10.1145/3009837.3009861. ISBN 978-1-4503-4660-3
Principal type (668 words) [view diff] case mismatch in snippet view article find links to article
for?". Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96. pp. 42–53. CiteSeerX 10.1.1.34.6144. doi:10
Boomerang (programming language) (113 words) [view diff] exact match in snippet view article
Resourceful Lenses for String Data. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), San Francisco, California, January 2008. full
Meta-circular evaluator (1,945 words) [view diff] exact match in snippet view article find links to article
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 5–17. doi:10.1145/2837614.2837623. ISBN 9781450335492
2-EXPTIME (960 words) [view diff] case mismatch in snippet view article find links to article
module". Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89. New York, NY, USA: Association for Computing
Larch Prover (1,558 words) [view diff] exact match in snippet view article find links to article
reasoning about abstract data types," Fifteenth Annual ACM Symposium on Principles of Programming Languages, pages 219–228, San Diego, CA, January 1988. Stephen
Monomorphization (398 words) [view diff] exact match in snippet view article find links to article
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '16. St. Petersburg, FL, USA: Association for
Dynamic compilation (529 words) [view diff] exact match in snippet view article find links to article
Implementation of the Smalltalk-80 System", 11th Annual Symposium on Principles of Programming Languages, Jan 1984, pp. 297-302 The UW Dynamic Compilation Project
Partial evaluation (591 words) [view diff] exact match in snippet view article find links to article
POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery. pp. 493–501.
Session type (899 words) [view diff] case mismatch in snippet view article find links to article
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pp. 273–284. doi:10.1145/1328438.1328472. hdl:10044/1/26368
William Cook (computer scientist) (207 words) [view diff] case mismatch in snippet view article
subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990) AppleScript. Proceedings of the third ACM SIGPLAN
Actor model and process calculi history (2,420 words) [view diff] exact match in snippet view article find links to article
Induction and Meta-evaluation Conference Record of ACM Symposium on Principles of Programming Languages, January 1974. Carl Hewitt, et al. Behavioral Semantics
Lazy evaluation (3,618 words) [view diff] case mismatch in snippet view article find links to article
(PDF). Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 (PDF). pp. 333–343. doi:10.1145/237721.237801
Polyvariance (215 words) [view diff] exact match in snippet view article find links to article
Types". Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98). 11 (3): 197–208. CiteSeerX 10.1.1.36.4441
Hermes (programming language) (367 words) [view diff] case mismatch in snippet view article
security". Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83. pp. 276–284. doi:10.1145/567067.567093
Damien Doligez (444 words) [view diff] exact match in snippet view article find links to article
for a multithreaded implementation of ML. 20th ACM Symposium on Principles of Programming Languages (POPL). ACM. Anil Madhavapeddy and Yaron Minsky (December
Choreographic programming (1,574 words) [view diff] case mismatch in snippet view article find links to article
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
Shape analysis (program analysis) (1,034 words) [view diff] case mismatch in snippet view article
structures". Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82. ACM. pp. 66–74. doi:10.1145/582153.582161
Vaughan Pratt (934 words) [view diff] exact match in snippet view article find links to article
Top Down Operator Precedence. Proceedings of the ACM Symposium on Principles of Programming Languages. 1973. pp41-51. George J. Carrette A simple Pratt-Parser
History of the Actor model (2,777 words) [view diff] exact match in snippet view article find links to article
Proceedings of the 1st annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages – POPL '73. pp. 153–168. CiteSeerX 10.1.1.104.295.
Steensgaard's algorithm (253 words) [view diff] case mismatch in snippet view article find links to article
POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA: ACM. pp. 32–41. doi:10.1145/237721
Empty type (260 words) [view diff] case mismatch in snippet view article find links to article
calculus". Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87. Vol. 87. pp. 253–262. doi:10.1145/41625
CGOL (501 words) [view diff] exact match in snippet view article find links to article
Top Down Operator Precedence. Proceedings of the ACM Symposium on Principles of Programming Languages. 1973. pp41–51. Van De Vanter, Michael L. A Formalization
Dov Gabbay (769 words) [view diff] exact match in snippet view article find links to article
POPL'80: Proceedings of the 7th SIGPLAN-SIGACT ACM Annual Symposium on Principles of Programming Languages, January, 1980, pages 163–173, ACM Press. Dov M. Gabbay
Liuba Shrira (350 words) [view diff] exact match in snippet view article find links to article
(2003). "Ownership Types for Object Encapsulation". ACM Symposium on Principles of Programming Languages. "Liuba Shrira". pages.cs.brandeis.edu. Liskov, B.;
Structural type system (1,121 words) [view diff] case mismatch in snippet view article find links to article
subtyping". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. San Francisco, California. pp. 125–135
Widening (computer science) (496 words) [view diff] exact match in snippet view article
Fixpoints (1977), Conference Record of the Fourth {ACM} Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977, pp. 238
Liquid Haskell (180 words) [view diff] exact match in snippet view article find links to article
Refinement Types for Haskell. The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018). Diatchki, Iavor (2015). "Improving Haskell
Separation logic (3,641 words) [view diff] case mismatch in snippet view article find links to article
structures". Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM. pp. 14–26. doi:10.1145/360204.375719. ISBN 1581133367
Daniel P. Friedman (541 words) [view diff] exact match in snippet view article find links to article
"Constraining Control". Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Friedman, Daniel P. (1986). "Reasoning with Continuations"
Actor model (7,145 words) [view diff] exact match in snippet view article find links to article
2022-11-15 at the Wayback Machine Conference Record of ACM Symposium on Principles of Programming Languages, January 1974. Carl Hewitt, et al Behavioral Semantics
Scribe (markup language) (1,124 words) [view diff] case mismatch in snippet view article
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p. 24-31 doi:10.1145/567446.567449 see GML Wiki article
Typestate analysis (1,852 words) [view diff] case mismatch in snippet view article find links to article
security". Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83. pp. 276–284. doi:10.1145/567067.567093
Lambda-mu calculus (842 words) [view diff] case mismatch in snippet view article find links to article
control". Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97. New York, NY, USA: Association for Computing
Language-based system (442 words) [view diff] case mismatch in snippet view article find links to article
interpretation Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages pp 186–97 (2004) Algis Rudys, Dan S. Wallach Termination
Lucy Gilbert (287 words) [view diff] case mismatch in snippet view article find links to article
computing". Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86. St. Petersburg Beach, Florida: ACM Press
Dominator (graph theory) (1,129 words) [view diff] case mismatch in snippet view article
form". Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89. pp. 25–35. doi:10.1145/75277.75280. ISBN 0897912942
Dataflow programming (1,606 words) [view diff] case mismatch in snippet view article find links to article
'73: Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages. ACM. pp. 226–234. Underwater Acoustic Data Processing
Portable C Compiler (1,151 words) [view diff] case mismatch in snippet view article find links to article
practice". Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78. pp. 97–104. doi:10.1145/512760.512771.
Radhia Cousot (944 words) [view diff] case mismatch in snippet view article find links to article
frameworks". Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79. ACM. pp. 269–282. CiteSeerX 10.1.1.207
Robert L. Constable (807 words) [view diff] case mismatch in snippet view article find links to article
Precis". Proceedings of the 6th ACM SIGACT–SIGPLAN symposium on Principles of programming languages (POPL '79). Association for Computing Machinery. pp
Generalized algebraic data type (1,333 words) [view diff] case mismatch in snippet view article find links to article
constructors". Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press. pp. 224–235. CiteSeerX 10.1.1.59.4622.
Exception handling (1,803 words) [view diff] case mismatch in snippet view article find links to article
handling. Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '75. pp. 204–224. doi:10.1145/512976.512997
FP (programming language) (897 words) [view diff] exact match in snippet view article
Proceedings of the Fifteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, San Diego, CA, January 1988. FP-Interpreter written
Operator-precedence parser (1,852 words) [view diff] exact match in snippet view article find links to article
" Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1973). Norvell, Theodore. "Parsing Expressions by
Brian Reid (computer scientist) (1,936 words) [view diff] case mismatch in snippet view article
formatting". Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '80. ACM. pp. 24–31. doi:10.1145/567446.567449
Program structure tree (1,164 words) [view diff] case mismatch in snippet view article find links to article
program", Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '80, pp. 95–105, doi:10.1145/567446.567456,
Actor model theory (1,545 words) [view diff] exact match in snippet view article find links to article
Induction and Meta-evaluation Conference Record of ACM Symposium on Principles of Programming Languages, January 1974. Irene Greif. Semantics of Communicating
Actor model middle history (1,043 words) [view diff] exact match in snippet view article find links to article
Induction and Meta-evaluation Conference Record of ACM Symposium on Principles of Programming Languages, January 1974. Peter Bishop Very Large Address Space
Effect system (1,093 words) [view diff] case mismatch in snippet view article find links to article
systems". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. ACM. pp. 47–57. CiteSeerX 10.1.1.73.4916
Binary recompiler (1,595 words) [view diff] case mismatch in snippet view article find links to article
Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. pp. 194–206. doi:10.1145/512927.512945
De Bruijn index (1,596 words) [view diff] case mismatch in snippet view article find links to article
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, New York, USA: ACM Press. pp. 3–15. doi:10
AbsInt (1,347 words) [view diff] exact match in snippet view article find links to article
construction or approximation of fixpoints. Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 238–252. Official website
John Launchbury (901 words) [view diff] case mismatch in snippet view article find links to article
Evaluation". Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93. ACM. pp. 144–154. doi:10.1145/158511.158618
Type family (1,125 words) [view diff] exact match in snippet view article find links to article
Proceedings of the 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press: 1–13. "Type Functions, Type Families, and
Recovery effect (532 words) [view diff] exact match in snippet view article find links to article
(PDF). Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14. p. 595. doi:10.1145/2535838.2535875. ISBN 9781450325448
Side effect (computer science) (1,119 words) [view diff] exact match in snippet view article
Programming. Conference Record of the 20th Annual ACM Symposium on Principles of Programming Languages. pp. 71–84. Felleisen, Matthias; Findler, Robert Bruce;
Inline caching (1,570 words) [view diff] case mismatch in snippet view article find links to article
POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, January 1984 Hölzle, U., Chambers, C., AND Ungar,
Modal μ-calculus (1,906 words) [view diff] case mismatch in snippet view article find links to article
calculus". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. New York, NY, USA: ACM. pp. 250–259. doi:10
Transitive closure (2,306 words) [view diff] case mismatch in snippet view article find links to article
languages". Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of programming languages - POPL '79. pp. 110–119. doi:10.1145/567752.567763
Monad transformer (1,521 words) [view diff] case mismatch in snippet view article find links to article
(PDF). Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY: ACM. pp. 333–343. doi:10.1145/199448
Aspect weaver (2,113 words) [view diff] case mismatch in snippet view article find links to article
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM. pp. 11–23. CiteSeerX 10.1.1.109.1796. doi:10
Multitier programming (2,772 words) [view diff] case mismatch in snippet view article find links to article
transformation". Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pp. 221–232. doi:10.1145/1040305.1040324. ISBN 158113830X
Just-in-time compilation (3,260 words) [view diff] case mismatch in snippet view article find links to article
(PDF). Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84. pp. 297–302. doi:10.1145/800017.800542
Dependent type (2,609 words) [view diff] exact match in snippet view article find links to article
(PDF). Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January
Hindley–Milner type system (8,502 words) [view diff] case mismatch in snippet view article find links to article
Principal type-schemes for functional programs (PDF). 9th Symposium on Principles of programming languages (POPL'82). ACM. pp. 207–212. doi:10.1145/582153.582176
Memoization (3,742 words) [view diff] exact match in snippet view article find links to article
Memoization". Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 15–17 January 2003. Vol. 38. New Orleans, Louisiana
Interaction nets (1,895 words) [view diff] case mismatch in snippet view article find links to article
nets". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. ACM. pp. 95–108. doi:10.1145/96709.96718
Expression problem (1,854 words) [view diff] case mismatch in snippet view article find links to article
Mixins". Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98. pp. 171–183. doi:10.1145/268946.268961
Type inference (3,749 words) [view diff] case mismatch in snippet view article find links to article
POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on principles of programming languages (PDF), ACM, pp. 207–212 Milner, Robin (1978), "A Theory
Loop dependence analysis (2,016 words) [view diff] case mismatch in snippet view article find links to article
dependence". Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83. POPL '83. New York, NY, USA: ACM. pp. 177–189
Reduction strategy (2,617 words) [view diff] case mismatch in snippet view article find links to article
calculus reduction (PDF). 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. pp. 16–30. doi:10.1145/96709.96711. Lévy
Linearizability (3,291 words) [view diff] case mismatch in snippet view article find links to article
objects". Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87. pp. 13–26. doi:10.1145/41625.41627.
Presburger arithmetic (3,274 words) [view diff] case mismatch in snippet view article find links to article
algorithms". Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78. pp. 141–150. doi:10.1145/512760.512775
Relational model (4,173 words) [view diff] case mismatch in snippet view article find links to article
languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (pp. 110-119). Date, Christopher J.; Darwen, Hugh (2000)
Context-free language reachability (840 words) [view diff] case mismatch in snippet view article find links to article
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL '08. New York, NY, USA: Association for Computing
Concurrent Haskell (1,177 words) [view diff] exact match in snippet view article find links to article
Beach, Florida. Concurrent Haskell. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (PoPL). New York, New York: Association for Computing
Haskell (4,619 words) [view diff] case mismatch in snippet view article find links to article
ad hoc". Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89. ACM. pp. 60–76. doi:10.1145/75277.75283
Monad (functional programming) (9,276 words) [view diff] exact match in snippet view article
essence of functional programming. 19th Annual ACM Symposium on Principles of Programming Languages. Albuquerque, New Mexico. CiteSeerX 10.1.1.38.9516
Unbounded nondeterminism (2,718 words) [view diff] case mismatch in snippet view article find links to article
Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages. POPL'73. Boston, Massachusetts: Association for Computing
Type safety (3,647 words) [view diff] case mismatch in snippet view article find links to article
programs". Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82. Association for Computing Machinery. pp
Logic programming (10,752 words) [view diff] case mismatch in snippet view article find links to article
languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (pp. 110-119). Maier, D., Tekle, K.T., Kifer, M. and
Courcelle's theorem (3,146 words) [view diff] exact match in snippet view article find links to article
Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '11) (PDF), SIGPLAN Notices, vol. 46, pp. 283–294
Fixed-point logic (2,031 words) [view diff] case mismatch in snippet view article find links to article
languages". Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79. New York, New York, USA: ACM Press. pp
Continuation-passing style (2,519 words) [view diff] case mismatch in snippet view article find links to article
control". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. Vol. 17. pp. 47–58. doi:10.1145/96709.96714
Hygienic macro (2,417 words) [view diff] exact match in snippet view article find links to article
transformations from their specifications" (PDF). Symposium on Principles of Programming Languages. Bawden, A.; Rees, J. (1988). "Syntactic closures"
Inheritance (object-oriented programming) (3,857 words) [view diff] exact match in snippet view article
subtyping. Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). pp. 125–135. CiteSeerX 10.1.1.102.8635. doi:10
Relational algebra (4,443 words) [view diff] case mismatch in snippet view article find links to article
languages". Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79. pp. 110–119. doi:10.1145/567752.567763
Sea of nodes (730 words) [view diff] exact match in snippet view article find links to article
on Intermediate representations. POPL95: 22nd ACM Symposium on Principles of Programming Languages. New York, NY, USA: Association for Computing Machinery
Martin Vechev (1,376 words) [view diff] exact match in snippet view article find links to article
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '15. New York, NY, USA: Association for Computing
Bunched logic (2,832 words) [view diff] case mismatch in snippet view article find links to article
interference". Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78. pp. 39–46. doi:10.1145/512760.512766. ISBN 9781450373487
Control dependency (613 words) [view diff] case mismatch in snippet view article find links to article
form". Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89. New York, NY, USA: ACM. pp. 25–35. doi:10
E-graph (2,146 words) [view diff] case mismatch in snippet view article find links to article
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL '09. Savannah, GA, USA: Association for Computing
Programming language (7,410 words) [view diff] case mismatch in snippet view article find links to article
(1983). Polymorphic type inference. ACM SIGACT-SIGPLAN symposium on Principles of programming languages. Austin, Texas: ACM Press. pp. 88–98. doi:10.1145/567067
Conflict-free replicated data type (3,389 words) [view diff] exact match in snippet view article find links to article
Optimality". Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (PDF). pp. 271–284. doi:10.1145/2535838.2535848. ISBN 9781450325448
Π-calculus (4,845 words) [view diff] exact match in snippet view article find links to article
Asynchronous pi-calculus". Proceedings of the 24th ACM Symposium on Principles of Programming Languages: 256–265. arXiv:cs/9809008. Bibcode:1998cs........9008P
Structure editor (1,190 words) [view diff] case mismatch in snippet view article find links to article
analysis". Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (POPL). New York, NY: ACM Press. pp. 229–235. Borras
Actor model and process calculi (3,260 words) [view diff] exact match in snippet view article find links to article
Actor Semantics of PLANNER-73 Conference Record of ACM Symposium on Principles of Programming Languages. January 1975. Irene Greif. Semantics of Communicating
Functional programming (8,697 words) [view diff] exact match in snippet view article find links to article
(March 1993). A Natural Semantics for Lazy Evaluation. Symposium on Principles of Programming Languages. Charleston, South Carolina: ACM. pp. 144–154. doi:10
Evaluation strategy (5,236 words) [view diff] case mismatch in snippet view article find links to article
calculus". Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91. p. 2. CiteSeerX 10.1.1.23.4385. doi:10
Boltzmann sampler (2,934 words) [view diff] exact match in snippet view article find links to article
property-based generators". Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL '17. New York, NY, USA: Association for Computing
Type system (7,195 words) [view diff] exact match in snippet view article find links to article
Programming". Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM. pp. 214–227. CiteSeerX 10.1.1.69.2042. doi:10
Haskell features (3,537 words) [view diff] exact match in snippet view article find links to article
Sigbjorn Finne. Concurrent Haskell. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (PoPL). 1996. (Some sections are out of date with respect
Harry R. Lewis (4,532 words) [view diff] exact match in snippet view article find links to article
graph". Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL '77). New York: ACM. pp. 104–118. doi:10.1145/512950
Automatic bug fixing (4,117 words) [view diff] exact match in snippet view article find links to article
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM. pp. 298–312. doi:10.1145/2837614.2837617.
Scheme (programming language) (8,139 words) [view diff] exact match in snippet view article
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 705–717. doi:10.1145/2837614.2837620. ISBN 978-1-4503-3549-2
Parsing expression grammar (6,497 words) [view diff] exact match in snippet view article find links to article
(PDF). Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM. pp. 111–122. doi:10.1145/964001.964011. ISBN 1-58113-729-X
History of compiler construction (6,447 words) [view diff] case mismatch in snippet view article find links to article
Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. pp. 194–206. doi:10.1145/512927.512945
Flix (programming language) (3,251 words) [view diff] case mismatch in snippet view article
systems". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. pp. 47–57. doi:10.1145/73560.73564. ISBN 0897912527
Covariance and contravariance (computer science) (6,667 words) [view diff] exact match in snippet view article
turing complete". Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17). pp. 73–85. arXiv:1605.05274. Bibcode:2016arXiv160505274G
Source-to-source compiler (9,272 words) [view diff] case mismatch in snippet view article find links to article
Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. Boston, Massachusetts, USA. pp. 194–206
2014 in science (25,562 words) [view diff] exact match in snippet view article find links to article
of Fixpoints". Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977. ACM, 1977
Packrat parser (1,852 words) [view diff] case mismatch in snippet view article find links to article
grammars". Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL '04. New York, NY, USA: Association for Computing
Exception handling (programming) (7,209 words) [view diff] case mismatch in snippet view article
handling. Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '75. pp. 204–224. doi:10.1145/512976.512997
Kruskal count (5,514 words) [view diff] exact match in snippet view article find links to article
Product Programs". Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. pp. 161–174. arXiv:1607.03455v5. doi:10.1145/3009837