language:
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; RastogiValue 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.512945Gradual 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.96747Pointer 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 ComputingRefinement 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 typesPolymorphic 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/174675Database 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. andType 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. ppMatthew 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 ComputingRegion-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. RetrievedBoomerang (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. fullNuprl (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-3Principal 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:10Data-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.512945Static 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 90994712-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 ComputingMeta-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 9781450335492Monomorphization (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 forLarch 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. StephenDynamic 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 ProjectPartial 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/26368William 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 SIGPLANActor 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 SemanticsPolyvariance (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.4441Hermes (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.567093Damien 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 (DecemberLazy 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.237801Steensgaard'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/237721Shape 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.582161Choreographic 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 9781450318327CGOL (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 FormalizationEmpty 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/41625Vaughan 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-ParserHistory 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.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.;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. GabbayStructural 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–135Widening (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. 238Liquid 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 HaskellSeparation 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 1581133367Daniel 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"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 articleLucy 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 PressTypestate 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.567093Language-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 TerminationLambda-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 ComputingActor 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 SemanticsDataflow 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 ProcessingDominator (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 0897912942Portable 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.207Robert 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. ppGeneralized 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.512997FP (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 writtenProgram 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,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 byBrian 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.567449Actor 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 CommunicatingActor 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 SpaceEffect 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.4916AbsInt (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 websiteDe 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:10Binary 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.512945John 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.158618Recovery 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 9781450325448Type 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, andSide 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:10Transitive 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.567763Monad 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/199448Aspect 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:10Multitier 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 158113830XJust-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.800542Dependent 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, JanuaryHindley–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.582176Interaction 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.96718Memoization (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, LouisianaExpression 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.268961Memoization (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, LouisianaContext-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 ComputingLinearizability (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.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–189Reduction strategy (2,616 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évyPresburger 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.512775Concurrent 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 ComputingRelational 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)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.9516Haskell (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.75283Unbounded 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 ComputingLogic 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. andFixed-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. ppCourcelle'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–294Type 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. ppContinuation-passing style (2,526 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.96714Hygienic 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"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 MachineryRelational 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.567763Martin 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 ComputingInheritance (object-oriented programming) (3,849 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:10Control 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:10E-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 ComputingProgramming 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/567067Bunched 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 9781450373487Conflict-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........9008PStructure 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. BorrasActor 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 CommunicatingFunctional 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:10Type system (7,308 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:10Boltzmann 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 ComputingHaskell 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 respectHarry 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/512950Evaluation strategy (5,220 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:10Automatic 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-2History 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.512945Parsing 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-XFlix (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 0897912527Covariance 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:2016arXiv160505274GSource-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–2062014 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, 1977Packrat 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 ComputingException 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.512997Kruskal 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