SIGPLAN is the

Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...

's Special Interest Group on

programming language A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming ...

Conferences

Principles of Programming Languages The annual ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with focus on fundamental principles in the design, definition, analysis, and implementation of prog ...

(POPL) *

Programming Language Design and Implementation Programming Language Design and Implementation (PLDI) is one of the ACM SIGPLAN's most important conferences. The precursor of PLDI was the Symposium on Compiler Optimization, held July 27–28, 1970 at the University of Illinois at Urbana-Ch ...

(PLDI) *

International Symposium on Memory Management The International Symposium on Memory Management (ISMM) is an ACM SIGPLAN symposium on memory management know also as Institut des Sciences de Maçon Multitasking. Before becoming a conference it was known as the International Workshop on Memory Ma ...

(ISMM) * Languages, Compilers, and Tools for Embedded Systems (LCTES) * Symposium on Principles and Practice of Parallel Programming (PPoPP) *

International Conference on Functional Programming The ACM SIGPLAN International Conference on Functional Programming (ICFP) is an annual academic conference in the field of computer science sponsored by the ACM SIGPLAN, in association with IFIP Working Group 2.8 (Functional Programming). The con ...

(ICFP) * Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH) * Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) *

History of Programming Languages The history of programming languages spans from documentation of early mechanical computers to modern tools for software development. Early programming languages were highly specialized, relying on mathematical notation and similarly obscure ...

(HOPL) * Dynamic Languages Symposium (DLS)

Associated journals

* ACM Transactions on Architecture and Code Optimization *

ACM Transactions on Programming Languages and Systems The ''ACM Transactions on Programming Languages and Systems'' (''TOPLAS'') is a bimonthly, open access, peer-reviewed scientific journal on the topic of programming languages published by the Association for Computing Machinery. Background ...

Proceedings of the ACM on Programming Languages

Newsletters

* SIGPLAN Notices -
Home page
at ACM * Fortran Forum - * Lisp Pointers (final issue 1995) - * OOPS Messenger (1990–1996) -

Awards

Programming Languages Software Award

* 2022:

CompCert CompCert is a formally verified optimizing compiler for a large subset of the C99 programming language (known as Clight) which currently targets PowerPC, ARM, RISC-V, x86 and x86-64 architectures. This project, led by Xavier Leroy, started o ...

* 2021:

WebAssembly WebAssembly (sometimes abbreviated Wasm) defines a portable binary-code format and a corresponding text format for executable programs as well as software interfaces for facilitating interactions between such programs and their host environment ...

* 2020:

Pin (computer program) Pin is a platform for creating analysis tools. A pin tool comprises instrumentation, analysis and callback routines. Instrumentation routines are called when code that has not yet been recompiled is about to be run, and enable the insertion of ana ...

* 2019:

Scala (programming language) Scala ( ) is a strong statically typed general-purpose programming language that supports both object-oriented programming and functional programming. Designed to be concise, many of Scala's design decisions are aimed to address criticisms of ...

* 2018:

Racket (programming language) Racket is a general-purpose, multi-paradigm programming language and a multi-platform distribution that includes the Racket language, compiler, large standard library, IDE, development tools, and a set of additional languages including Typed Ra ...

* 2016:

V8 (JavaScript engine) V8 is a free and open-source JavaScript engine developed by the Chromium Project for Google Chrome and Chromium web browsers. The project’s creator is Lars Bak. The first version of the V8 engine was released at the same time as the first ...

* 2015:

Z3 Theorem Prover Z3, also known as the Z3 Theorem Prover, is a cross-platform satisfiability modulo theories (SMT) solver by Microsoft. Overview Z3 was developed in the ''Research in Software Engineering'' (RiSE) group at Microsoft Research and is targeted at sol ...

* 2014:

GNU Compiler Collection The GNU Compiler Collection (GCC) is an optimizing compiler produced by the GNU Project supporting various programming languages, hardware architectures and operating systems. The Free Software Foundation (FSF) distributes GCC as free software ...

(GCC) * 2013:

Coq Coq is an interactive theorem prover first released in 1989. It allows for expressing mathematical assertions, mechanically checks proofs of these assertions, helps find formal proofs, and extracts a certified program from the constructive proof ...

proof assistant In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration. This involves some sort of interactive proof editor ...

* 2012: Jikes Research Virtual Machine (RVM) * 2011:

Simon Peyton Jones Simon Peyton Jones (born 18 January 1958) is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional programming. Education Peyton Jones graduated fr ...

and

Simon Marlow Simon Marlow is a British computer programmer, author, and co-developer of the Glasgow Haskell Compiler (GHC). He and Simon Peyton Jones won the SIGPLAN Programming Languages Software Award in 2011 for their work on GHC. Marlow's book Parallel ...

(

Glasgow Haskell Compiler The Glasgow Haskell Compiler (GHC) is an open-source native code compiler for the functional programming language Haskell. It provides a cross-platform environment for the writing and testing of Haskell code and it supports numerous extensions, ...

) * 2010:

Chris Lattner Christopher Arthur Lattner (born 1978) is an American software engineer, former Google and Tesla employee and co-founder of LLVM, Clang compiler, MLIR compiler infrastructure and the Swift programming language. , he is the co-founder and CEO ...

(

LLVM LLVM is a set of compiler and toolchain technologies that can be used to develop a front end for any programming language and a back end for any instruction set architecture. LLVM is designed around a language-independent intermediate represen ...

)

Programming Languages Achievement Award

Recognizes an individual or individuals who has made a significant and lasting contribution to the field of programming languages. * 2020: Hans-J. Boehm * 2019: Alex Aiken * 2017:

Thomas W. Reps Thomas W. Reps (born 28 May 1956, United States) is an American computer scientist known for his contributions to automatic program analysis. Dr. Reps is Professor of Computer Science in the Computer Sciences Department of the University of Wisco ...

* 2016:

* 2015:

Luca Cardelli Luca Andrea Cardelli, Fellow of the Royal Society (FRS), is an Italian computer scientist who is a research professor at the University of Oxford in Oxford, UK. Cardelli is well known for his research in type theory and operational semantics. A ...

* 2014: Neil D. Jones * 2013:

Patrick Cousot Patrick Cousot (born 3 December 1948) is a French computer scientist, currently Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, USA. Before he was Professor at the École Normale Supéri ...

and

Radhia Cousot Radhia Cousot (6 August 1947 – 1 May 2014) was a Tunisian French computer scientist known for inventing abstract interpretation. Studies Radhia Cousot was born on 6 August 1947, in Sakiet Sidi Youssef in Tunisia, where she survived the :fr:B ...

* 2012:

Matthias Felleisen Matthias Felleisen is a German-American computer science professor and author. He grew up in Germany and immigrated to the US when he was 21 years old. He received his PhD from Indiana University under the direction of Daniel P. Friedman. Afte ...

* 2011:

Tony Hoare Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and c ...

* 2010:

Gordon Plotkin Gordon David Plotkin, (born 9 September 1946) is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and hi ...

* 2009:

Rod Burstall Rodney Martineau "Rod" Burstall FRSE (born 1934) is a British computer scientist and one of four founders of the Laboratory for Foundations of Computer Science at the University of Edinburgh. Biography Burstall studied physics at the Universi ...

* 2008:

Barbara Liskov Barbara Liskov (born November 7, 1939 as Barbara Jane Huberman) is an American computer scientist who has made pioneering contributions to programming languages and distributed computing. Her notable work includes the development of the Liskov ...

* 2007:

Niklaus Wirth Niklaus Emil Wirth (born 15 February 1934) is a Swiss computer scientist. He has designed several programming languages, including Pascal (programming language), Pascal, and pioneered several classic topics in software engineering. In 1984, he w ...

* 2006:

Ron Cytron Ron is a shortening of the name Ronald. Ron or RON may also refer to: Arts and media * Big Ron (''EastEnders''), a TV character * Ron (''King of Fighters''), a video game character *Ron Douglas, the protagonist in '' Lucky Stiff'' played by Joe ...

Jeanne Ferrante Jeanne Ferrante is a computer scientist active in the field of compiler technology, where she has made important contributions regarding optimization and parallelization. Jeanne Ferrante is Professor of Computer Science and Engineering at Uni ...

, Barry K. Rosen,

Mark Wegman Mark N. Wegman is an American computer scientist known for his contributions to algorithms and compiler optimization. Wegman received his B.A. from New York University and his Ph.D. from the University of California, Berkeley. He joined IBM Res ...

, and Kenneth Zadeck * 2005:

Erich Gamma Erich Gamma is a Swiss computer scientist and one of the four co-authors (referred to as "Gang of Four") of the software engineering textbook, '' Design Patterns: Elements of Reusable Object-Oriented Software''. Gamma is an expert in the Eclipse ...

Richard Helm Richard Helm is one of the "Gang of Four" who wrote the influential ''Design Patterns'' book. In 2006 he was awarded the Dahl–Nygaard Prize The Dahl–Nygaard Prize is awarded annually to a senior researcher with outstanding career contributions ...

, Ralph Johnson,

John Vlissides John Matthew Vlissides (August 2, 1961 – November 24, 2005) was a software engineer known mainly as one of the four authors (referred to as the Gang of Four) of the book '' Design Patterns: Elements of Reusable Object-Oriented Software''. Vliss ...

* 2004:

John Backus John Warner Backus (December 3, 1924 – March 17, 2007) was an American computer scientist. He directed the team that invented and implemented FORTRAN, the first widely used high-level programming language, and was the inventor of the Back ...

* 2003:

John C. Reynolds John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist. Education and affiliations John Reynolds studied at Purdue University and then earned a Doctor of Philosophy (Ph.D.) in theoretical physics from Harvard U ...

* 2002: John McCarthy * 2001:

Robin Milner Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.

* 2000:

Susan Graham Susan Graham (born July 23, 1960) is an American mezzo-soprano. Life and career Susan Graham was born in Roswell, New Mexico on July 23, 1960. Raised in Midland, Texas, Graham is a graduate of Texas Tech University and the Manhattan School o ...

* 1999: Ken Kennedy * 1998: Fran Allen * 1997:

Guy Steele Guy Lewis Steele Jr. (; born October 2, 1954) is an American computer scientist who has played an important role in designing and documenting several computer programming languages and technical standards. Biography Steele was born in Missouri ...

Robin Milner Young Researcher Award

Recognizes outstanding contributions by young researchers in the area of programming languages. The award is named after the computer scientist

Robin Milner Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.

. * 2019: Martin Vechev * 2018: Ranjit Jhala * 2017: Derek Dreyer * 2016: Stephanie Weirich * 2015: David Walker * 2014: Sumit Gulwani * 2013: Lars Birkedal * 2012:

Shriram Krishnamurthi Shriram Krishnamurthi is a computer scientist, currently a professor of computer science at Brown University and a member of the core development group for the Racket programming languages, responsible for creation of software packages including ...

SIGPLAN Doctoral Dissertation Award

The full name of this award is the John C. Reynolds Doctoral Dissertation Award, after the computer scientist

. It is "presented annually to the author of the outstanding doctoral dissertation in the area of Programming Languages." * 2018: Justin Hsu and David Menendez * 2017: Ramana Kumar * 2016: Shachar Itzhaky and Vilhelm Sjöberg * 2015: Mark Batty * 2014: Aaron Turon * 2013: Patrick Rondon * 2012: Dan Marino * 2010: Robert L. Bocchino * 2009: Akash Lai and William Thies * 2008: Michael Bond and Viktor Vafeiadis * 2007: Swarat Chaudhuri * 2006: Xiangyu Zhang * 2005: Sumit Gulwani * 2003: Godmar Back * 2002: Michael Hicks * 2001: Rastislav Bodik

SIGPLAN Distinguished Service Award

* 2016:

Phil Wadler Philip Lee Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory. He is the chair of Theoretical computer science, Theoretical Computer Science at the Laboratory ...

* 2015: Dan Grossman * 2014:

* 2013:

Kathleen Fisher Kathleen Shanahan Fisher is an American computer scientist who specializes in programming languages and their implementation. Professor Fisher is Chair of Computer Science at Tufts University and one of the authors of the PADS data description ...

* 2012: Jens Palsberg * 2011: Kathryn S. McKinley * 2010: Jack W. Davidson * 2009: Mamdouh Ibrahim * 2008: Michael Burke * 2007: Linda M. Northrop * 2006: Hans Boehm * 2005: no award made * 2004:

* 2003: Mary Lou Soffa * 2002:

Andrew Appel Andrew Wilson Appel (born 1960) is the Eugene Higgins Professor of computer science at Princeton University. He is especially well-known because of his compiler books, the ''Modern Compiler Implementation in ML'' () series, as well as ''Compili ...

* 2001: Barbara G. Ryder * 2000: David Wise * 1999: Loren Meissner * 1998: Brent Hailpern * 1997: J.A.N. Lee and

Jean E. Sammet Jean E. Sammet (March 23, 1928 – May 20, 2017) was an American computer scientist who developed the FORMAC programming language in 1962. She was also one of the developers of the influential COBOL programming language. She received her B.A. i ...

* 1996: Dick Wexelblat and John Richards

Most Influential PLDI Paper Award

* 2017 (for 2007): Valgrind: a framework for heavyweight dynamic binary instrumentation, Nicholas Nethercote,

Julian Seward Julian Seward is a British compiler writer and Free Software contributor who lives in Stuttgart. He is commonly known for creating the bzip2 compression tool in 1996, as well as the valgrind memory debugging toolset founded in 2000. In 2006, h ...

* 2016 (for 2006): DieHard: probabilistic memory safety for unsafe languages, Emery Berger, Benjamin Zorn * 2015 (for 2005): Pin: building customized program analysis tools with dynamic instrumentation, Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi, and Kim Hazelwood * 2014 (for 2004): Scalable Lock-Free Dynamic Memory Allocation, Maged M. Michael * 2013 (for 2003): The nesC language: A holistic approach to networked embedded systems, David Gay, Philip Levis, J. Robert von Behren, Matt Welsh, Eric Brewer, and David E. Culler * 2012 (for 2002): Extended Static Checking for Java, Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata * 2011 (for 2001): Automatic predicate abstraction of C programs, Thomas Ball, Rupak Majumdar, Todd Millstein, and Sriram K. Rajamani * 2010 (for 2000): Dynamo: A Transparent Dynamic Optimization System, Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerji * 2009 (for 1999): A Fast Fourier Transform Compiler, Matteo Frigo * 2008 (for 1998): The implementation of the Cilk-5 multithreaded language, Matteo Frigo, Charles E. Leiserson, Keith H. Randall * 2007 (for 1997): Exploiting hardware performance counters with flow and context sensitive profiling, Glenn Ammons, Thomas Ball, and James R. Larus * 2006 (for 1996): TIL: A Type-Directed Optimizing Compiler for ML, David Tarditi,

Greg Morrisett John Gregory Morrisett is the Jack and Rilla Neafsey Dean and Vice Provost of Cornell Tech. He previously was Dean of the Faculty of Computing and Information Science at Cornell University. Morrisett was the Allen B. Cutting Professor of Compute ...

, Perry Cheng, Christopher Stone,

Robert Harper Robert or Bob Harper may refer to: * Robert Almer Harper (1862–1946), American botanist * Robert Goodloe Harper (1765–1825), US senator from Maryland * Robert Harper (fl. 1734–1761), founder of Harpers Ferry, West Virginia * Robert Harper (a ...

, and Peter Lee * 2005 (for 1995): Selective Specialization for Object-Oriented Languages,

Jeffrey Dean Jeffrey Adgate "Jeff" Dean (born July 23, 1968) is an American computer scientist and software engineer. Since 2018, he is the lead of Google AI, Google's AI division. Education Dean received a B.S., ''summa cum laude'', from the University ...

Craig Chambers Craig Chambers has been a computer scientist at Google since 2007. Prior to this, he was a Professor in the department of Computer Science and Engineering at the University of Washington. He received his B.S. degree in Computer Science from MIT i ...

, and

David Grove David C. Grove (born 1935) is an American anthropologist, archaeologist and academic, known for his contributions and research into the Preclassic (or Formative) period cultures of Mesoamerica, in particular those of the Mexican ''altiplano'' an ...

* 2004 (for 1994): ATOM: a system for building customized program analysis tools, Amitabh Srivastava and

Alan Eustace Robert Alan Eustace (born 1956/1957) is an American computer scientist who served as Senior Vice President of Engineering at Google until retiring in 2015. On October 24, 2014, he made a free-fall jump from the stratosphere, breaking Felix Baum ...

* 2003 (for 1993): Space Efficient Conservative Garbage Collection, Hans Boehm * 2002 (for 1992): Lazy Code Motion, Jens Knoop, Oliver Rüthing, Bernhard Steffen * 2001 (for 1991): A data locality optimizing algorithm, Michael E. Wolf and

Monica S. Lam Monica Sin-Ling Lam is an American computer scientist. She is a professor in the Computer Science Department at Stanford University. Professional biography Monica Lam received a B.Sc. from University of British Columbia in 1980 and a Ph.D. in ...

* 2000 (for 1990): Profile guided code positioning, Karl Pettis and Robert C. Hansen

Most Influential POPL Paper Award

* 2018 (for 2008): Multiparty asynchronous session types, Kohei Honda, Nobuko Yoshida, Marco Carbone * 2017 (for 2007): JavaScript Instrumentation for Browser Security, Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov * 2016 (for 2006): Formal certification of a compiler back-end or: programming a compiler with a proof assistant,

Xavier Leroy Xavier or Xabier may refer to: Place * Xavier, Spain People * Xavier (surname) * Xavier (given name) * Francis Xavier (1506–1552), Catholic saint ** St. Francis Xavier (disambiguation) * St. Xavier (disambiguation) * Xavier (footballer, born ...

* 2015 (for 2005): Combinators for Bidirectional Tree Transformations: A Linguistic Approach to the View Update Problem, Nate Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt * 2014 (for 2004): Abstractions from proofs, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth McMillan * 2013 (for 2003): A real-time garbage collector with low overhead and consistent utilization, David F. Bacon, Perry Cheng, VT Rajan * 2012 (for 2002): CCured: Type-Safe Retrofitting of Legacy Code, George C. Necula, Scott McPeak, and Westley Weimer * 2011 (for 2001): BI as an Assertion Language for Mutable Data Structures, Samin Ishtiaq and Peter W. O'Hearn * 2010 (for 2000): Anytime, Anywhere: Modal Logics for Mobile Ambients, Luca Cardelli and

Andrew D. Gordon Andrew D. Gordon is a British computer scientist employed by Microsoft Research. His research interests include programming language design, formal methods, concurrency, cryptography, and access control. Biography Gordon earned a Ph.D. from ...

* 2009 (for 1999): JFlow: Practical Mostly-Static Information Flow Control, Andrew C. Myers * 2008 (for 1998): From System F to Typed Assembly Language, Greg Morrisett, David Walker, Karl Crary, and Neal Glew * 2007 (for 1997): Proof-carrying Code, George Necula * 2006 (for 1996): Points-to Analysis in Almost Linear Time, Bjarne Steensgaard * 2005 (for 1995): A Language with Distributed Scope,

* 2004 (for 1994): Implementation of the Typed Call-by-Value lambda-calculus using a Stack of Regions,

Mads Tofte Mads Tofte (born 20 April 1959) is a Danish computer scientist who has contributed in particular to functional programming and the Standard ML programming language. Education Tofte was born in Lyngby, Denmark and grew up in Holbæk, Denmark. ...

and

Jean-Pierre Talpin Jean-Pierre or Jean Pierre may refer to: People * Karine Jean-Pierre b.1977, White House Deputy Press Secretary for President Joe Biden 2021- * Jean-Pierre, Count of Montalivet (1766–1823), French statesman and Peer of France * Eugenia Pierre ...

* 2003 (for 1993): Imperative functional programming,

and

Philip Wadler Philip Lee Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory. He is the chair of Theoretical Computer Science at the Laboratory for Foundations of Computer S ...

Most Influential OOPSLA Paper Award

* 2017 (for 2007): Statistically Rigorous Java Performance Evaluation, Andy Georges,

Dries Buytaert Dries Buytaert (born 19 November 1978)Curriculum Vitae
is ...

, Lieven Eeckhout * 2016 (for 2006): The DaCapo benchmarks: Java benchmarking development and analysis, Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanović, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann * 2015 (for 2005): X10: An Object-Oriented Approach to Non-Uniform Cluster Computing, Philippe Charles, Christian Grothoff, Vijay Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, and Vivek Sarkar * 2014 (for 2004): Mirrors: Design Principles for Meta-level Facilities of Object-Oriented Programming Languages, Gilad Bracha and David Ungar * 2013 (for 2003): Language Support for Lightweight Transactions, Tim Harris and Keir Fraser * 2012 (for 2002): Reconsidering Custom Memory Allocation, Emery D. Berger, Benjamin G. Zorn, and Kathryn S. McKinley * 2010 (for 2000): Adaptive Optimization in the Jalapeño JVM, Matthew Arnold, Stephen Fink, David Grove, Michael Hind, and Peter F. Sweeney * 2009 (for 1999): Implementing Jalapeño in Java, Bowen Alpern, C. R. Attanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber, Ton Ngo, Mark Mergen, Janice C. Shepherd, and Stephen Smith * 2008 (for 1998): Ownership Types for Flexible Alias Protection, David G. Clarke, John M. Potter, and James Noble * 2007 (for 1997): Call Graph Construction in Object-Oriented Languages, David Grove, Greg DeFouw, Jeffrey Dean, and Craig Chambers * 2006 (for 1986–1996): ** Subject Oriented Programming: A Critique of Pure Objects, William Harrison and Harold Ossher ** Concepts and Experiments in Computational Reflection, Pattie Maes ** Self: The Power of Simplicity, David Ungar and Randall B. Smith

Most Influential ICFP Paper Award

* 2019 (for 2009): Runtime Support for Multicore Haskell: Simon Marlow, Simon Peyton Jones, and Satnam Singh * 2009 (for 1999): Haskell and XML: Generic combinators or type-based translation?, Malcolm Wallace and Colin Runciman * 2008 (for 1998): Cayenne — a language with dependent types, Lennart Augustsson * 2007 (for 1997): Functional Reactive Animation, Conal Elliott and Paul Hudak * 2006 (for 1996): Optimality and inefficiency: what isn't a cost model of the lambda calculus?, Julia L. Lawall and Harry G. Mairson

References

External links

SIGPLAN homepage
{{Authority control Association for Computing Machinery Special Interest Groups

Conferences

Associated journals

Newsletters

Awards

Programming Languages Software Award

Programming Languages Achievement Award

Robin Milner Young Researcher Award

SIGPLAN Doctoral Dissertation Award

SIGPLAN Distinguished Service Award

Most Influential PLDI Paper Award

Most Influential POPL Paper Award

Most Influential OOPSLA Paper Award

Most Influential ICFP Paper Award

See also

References

External links