Find link

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) (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 (977 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 (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 (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,297 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 (2,919 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

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

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

Data-flow analysis (3,561 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

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

Monomorphization (361 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 (898 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

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

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

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

Lazy evaluation (3,549 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

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

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

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

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

History of the Actor model (2,771 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 (718 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

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

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

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

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

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

Daniel P. Friedman (533 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"

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

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

Separation logic (3,646 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

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

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

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

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

Portable C Compiler (1,126 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

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

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

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

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

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,

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

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

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 (977 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

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

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

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

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

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

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

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

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,

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

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

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

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

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

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

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

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

Type inference (3,675 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

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.

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

Presburger arithmetic (3,248 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

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

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

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

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

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

Sea of nodes (668 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

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

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

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

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

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

E-graph (2,143 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

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

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

Programming language (7,416 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,385 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,856 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,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

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

Relational algebra (6,354 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,205 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

Functional programming (8,696 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,224 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

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

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

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

Scheme (programming language) (8,206 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,505 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,376 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

Covariance and contravariance (computer science) (6,679 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,291 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,858 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,483 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,550 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,505 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