Find link

Symposium on Principles of Programming Languages not in Programming language

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

Value numbering (981 words) [view diff] case mismatch in snippet view article find links to article

Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. pp. 194–206. doi:10.1145/512927.512945

Gradual typing (1,108 words) [view diff] case mismatch in snippet view article find links to article

typing". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. ACM. pp. 367–381. doi:10.1145/96709.96747

Pointer analysis (1,540 words) [view diff] case mismatch in snippet view article find links to article

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL '11. Austin, Texas, USA: Association for Computing

Refinement type (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

Region-based memory management (3,048 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

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

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

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

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

Data-flow analysis (3,562 words) [view diff] case mismatch in snippet view article find links to article

Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. pp. 194–206. doi:10.1145/512927.512945

Static single-assignment form (4,002 words) [view diff] case mismatch in snippet view article find links to article

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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,852 words) [view diff] case mismatch in snippet view article find links to article

security". Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83. pp. 276–284. doi:10.1145/567067.567093

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

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

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"

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,145 words) [view diff] exact match in snippet view article find links to article

2022-11-15 at the Wayback Machine Conference Record of ACM Symposium on Principles of Programming Languages, January 1974. Carl Hewitt, et al Behavioral Semantics

Radhia Cousot (944 words) [view diff] case mismatch in snippet view article find links to article

frameworks". Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79. ACM. pp. 269–282. CiteSeerX 10.1.1.207

Dominator (graph theory) (1,129 words) [view diff] case mismatch in snippet view article

form". Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89. pp. 25–35. doi:10.1145/75277.75280. ISBN 0897912942

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

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

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

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

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,

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

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

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

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

De Bruijn index (1,596 words) [view diff] case mismatch in snippet view article find links to article

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, New York, USA: ACM Press. pp. 3–15. doi:10

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,125 words) [view diff] exact match in snippet view article find links to article

Proceedings of the 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press: 1–13. "Type Functions, Type Families, and

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,906 words) [view diff] case mismatch in snippet view article find links to article

calculus". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. New York, NY, USA: ACM. pp. 250–259. doi:10

Monad transformer (1,521 words) [view diff] case mismatch in snippet view article find links to article

(PDF). Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY: ACM. pp. 333–343. doi:10.1145/199448

Aspect weaver (2,113 words) [view diff] case mismatch in snippet view article find links to article

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM. pp. 11–23. CiteSeerX 10.1.1.109.1796. doi:10

Multitier programming (2,772 words) [view diff] case mismatch in snippet view article find links to article

transformation". Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pp. 221–232. doi:10.1145/1040305.1040324. ISBN 158113830X

Just-in-time compilation (3,260 words) [view diff] case mismatch in snippet view article find links to article

(PDF). Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84. pp. 297–302. doi:10.1145/800017.800542

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

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

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

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

Expression problem (1,847 words) [view diff] case mismatch in snippet view article find links to article

Mixins". Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98. pp. 171–183. doi:10.1145/268946.268961

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

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

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

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

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

Presburger arithmetic (3,255 words) [view diff] case mismatch in snippet view article find links to article

algorithms". Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78. pp. 141–150. doi:10.1145/512760.512775

Fixed-point logic (2,031 words) [view diff] case mismatch in snippet view article find links to article

languages". Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79. New York, New York, USA: ACM Press. pp

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

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

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

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

Type safety (3,647 words) [view diff] case mismatch in snippet view article find links to article

programs". Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82. Association for Computing Machinery. pp

Logic programming (10,752 words) [view diff] case mismatch in snippet view article find links to article

languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (pp. 110-119). Maier, D., Tekle, K.T., Kifer, M. and

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"

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

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

Relational algebra (4,444 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

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

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

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

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

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

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,845 words) [view diff] exact match in snippet view article find links to article

Asynchronous pi-calculus". Proceedings of the 24th ACM Symposium on Principles of Programming Languages: 256–265. arXiv:cs/9809008. Bibcode:1998cs........9008P

Structure editor (1,190 words) [view diff] case mismatch in snippet view article find links to article

analysis". Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (POPL). New York, NY: ACM Press. pp. 229–235. Borras

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

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

Boltzmann sampler (2,934 words) [view diff] exact match in snippet view article find links to article

property-based generators". Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL '17. New York, NY, USA: Association for Computing

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

Scheme (programming language) (8,139 words) [view diff] exact match in snippet view article

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 705–717. doi:10.1145/2837614.2837620. ISBN 978-1-4503-3549-2

Parsing expression grammar (6,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,447 words) [view diff] case mismatch in snippet view article find links to article

Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. pp. 194–206. doi:10.1145/512927.512945

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,272 words) [view diff] case mismatch in snippet view article find links to article

Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. Boston, Massachusetts, USA. pp. 194–206

Packrat parser (1,852 words) [view diff] case mismatch in snippet view article find links to article

grammars". Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL '04. New York, NY, USA: Association for Computing

2014 in science (25,520 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,910 words) [view diff] case mismatch in snippet view article

handling. Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '75. pp. 204–224. doi:10.1145/512976.512997

Kruskal count (5,514 words) [view diff] exact match in snippet view article find links to article

Product Programs". Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. pp. 161–174. arXiv:1607.03455v5. doi:10.1145/3009837