Find link

language:

Find link is a tool written by Edward Betts.

searching for Symposium on Principles of Programming Languages 124 found (148 total)

alternate case: symposium on Principles of Programming Languages

F* (programming language) (430 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 (979 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. Popl '73. pp. 194–206. doi:10.1145/512927

Gradual typing (1,101 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,473 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 (356 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 (737 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

Region-based memory management (2,772 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

Type class (2,353 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

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

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,921 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

Nuprl (507 words) [view diff] exact match in snippet view article find links to article

higher-dimensional type theory" (PDF). 43nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). "The People's Refinement Logic". www.redprl

Static single-assignment form (3,952 words) [view diff] exact match in snippet view article find links to article

languages". Proceedings of the 13th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages - POPL '86: 70–85. doi:10.1145/512644.512651. S2CID 9099471

Monomorphization (363 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

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

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

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

Session type (876 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

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.

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

Steensgaard's algorithm (250 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

Choreographic programming (1,424 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

Matthew Flatt (465 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

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

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

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

Lazy evaluation (3,606 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. pp. 333–343. doi:10.1145/237721.237801

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

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

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.;

History of the Actor model (2,771 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. 153–168. CiteSeerX 10.1.1.104.295.

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

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

Bunched logic (2,841 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

Structural type system (1,104 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

Actor model (7,146 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

Language-based system (371 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

Typestate analysis (1,834 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

Shape analysis (program analysis) (1,057 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

Lucy Gilbert (288 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

Portable C Compiler (1,107 words) [view diff] exact match in snippet view article find links to article

practice". Proceedings of the 5th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. Tucson, Arizona.: 97–104. doi:10.1145/512760.512771

Data-flow analysis (3,390 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). POPL '73. Boston, Massachusetts, USA: 194–206

Principal type (327 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

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

Vaughan Pratt (926 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

Generalized algebraic data type (1,309 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.

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

Dataflow programming (1,615 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

Dominator (graph theory) (1,048 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. POPL ’89. pp. 25–35. doi:10.1145/75277

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

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

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,

Operator-precedence parser (1,828 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

Exception handling (1,806 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

Recovery effect (466 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

Dov Gabbay (716 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

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

De Bruijn index (1,592 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

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

Effect system (1,010 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

AbsInt (1,348 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

Binary recompiler (1,598 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). POPL '73. Boston, Massachusetts, USA: 194–206

Radhia Cousot (932 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

Side effect (computer science) (1,083 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;

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

Type family (1,131 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

Inline caching (1,567 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,

Concurrent Haskell (1,106 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

Interaction nets (1,878 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

Type inference (2,922 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

Modal μ-calculus (1,816 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

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

Transitive closure (2,318 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

Linearizability (3,292 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.

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

Loop dependence analysis (1,797 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

Dependent type (2,442 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

Just-in-time compilation (3,234 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

Martin Vechev (1,091 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

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

Memoization (3,744 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

Presburger arithmetic (3,225 words) [view diff] exact match in snippet view article find links to article

decision algorithms". Proc. 5th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages: 141–150. doi:10.1145/512760.512775. S2CID 6342372

Hindley–Milner type system (8,445 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

Unbounded nondeterminism (2,428 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

Expression problem (1,831 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

Monad (functional programming) (9,422 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

Relational model (4,219 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)

Reduction strategy (2,602 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

Fixed-point logic (2,030 words) [view diff] exact match 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: 110–119

Haskell (4,530 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

Logic programming (10,723 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,088 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

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

Continuation-passing style (2,532 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"

E-graph (1,895 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

Inheritance (object-oriented programming) (3,768 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

Conflict-free replicated data type (3,354 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

Macro and security (2,478 words) [view diff] case mismatch in snippet view article find links to article

work". Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91. pp. 155–162. doi:10.1145/99583.99607. ISBN 0897914198

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

Π-calculus (4,833 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

Programming language (8,516 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

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

List of software bugs (4,576 words) [view diff] exact match in snippet view article find links to article

on Programming Language Design. in Sigact/Sigplan Symposium on Principles of Programming Languages. October 1973., reprinted in Horowitz. Programming

Gary Kildall (4,479 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). Boston, Massachusetts, USA: 194–206. doi:10

Actor model and process calculi (3,220 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

Relational algebra (6,301 words) [view diff] exact match in snippet view article find links to article

languages". Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages: 110–119. doi:10.1145/567752.567763. S2CID 3242505

Type system (7,252 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

Flix (programming language) (3,307 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

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

Evaluation strategy (5,172 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

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,204 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

History of compiler construction (6,356 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). Boston, Massachusetts, USA: 194–206. doi:10

Boltzmann sampler (2,933 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

Parsing expression grammar (6,426 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

Harry R. Lewis (4,486 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

Covariance and contravariance (computer science) (6,691 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,218 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). POPL '73. Boston, Massachusetts, USA: 194–206

Packrat parser (1,859 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

2014 in science (25,346 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

Exception handling (programming) (6,491 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,495 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