ACM SIGPLAN Continuation Workshop Saturday, September 24, 2011 Tokyo, Japan (co-located with ICFP) Session 1 (chair: Yukiyoshi Kameyama) 9:00–10:00 Continuations and classical logic: using continuations as a tool for l

Source URL: logic.cs.tsukuba.ac.jp

Author’s Guide to the ACM SIGPLAN Class (sigplanconf.cls) Association for Computing Machinery SIGPLAN

Source URL: www.schemeworkshop.org

ACM SIGPLAN Continuation Workshop Saturday, September 24, 2011 Tokyo, Japan (co-located with ICFP) Session 1 (chair: Yukiyoshi Kameyama) 9:00–10:00 Continuations and classical logic: using continuations as a tool for l

Source URL: logic.cs.tsukuba.ac.jp

• Lambda calculus
• Type theory
• Functional programming
• Control flow
• Continuations
• Delimited continuation
• Curry–Howard correspondence
• Typed lambda calculus
• Monad
• Software engineering
• Computing
• Computer programming

Richard Paul Gabriel Address: 3636 Altamont Way Redwood City, CATelephone: Voice: (

Source URL: www.dreamsongs.com

• Lisp programming language
• Lisp
• OOPSLA
• Guy L. Steele
• Jr.
• Ralph Johnson
• Lucid Inc.
• Richard P. Gabriel
• SIGPLAN
• Linda Rising
• Computing
• Software engineering
• Computer programming

Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak

Source URL: lara.epfl.ch

• Computing
• Association for Computing Machinery
• Logic in computer science
• Principles of Programming Languages
• Programming Language Design and Implementation
• SIGPLAN
• Formal verification
• Model checking
• Computer Aided Verification
• Computer science
• Theoretical computer science
• Formal methods

2011 ACM SIGPLAN Symposium on Programming L D I PLDI San Jose, CA

Source URL: pldi11.cs.utah.edu

• Association for Computing Machinery
• Programming Language Design and Implementation
• Knowledge
• Monica S. Lam
• Abstract management
• Profiling
• SIGPLAN
• IBM
• Computing
• Computer science
• Year of birth missing

Memory Hierarchy Visibility in Parallel Programming Languages ACM SIGPLAN Workshop on Memory Systems Performance and Correctness MSPC 2014 Keynote

Source URL: mspcworkshop.org

• Graphics hardware
• Video cards
• Video game hardware
• Parallel computing
• CUDA
• Codeplay
• OpenCL
• Graphics processing unit
• Thread
• Computing
• GPGPU
• Computer hardware

Microsoft Word - Sigplan paper v6 Copyright tweaks.docx

Source URL: rumblesan.com

• Cross-platform software
• Scripting languages
• Lisp programming language
• CoffeeScript
• Functional languages
• Procedural programming languages
• JavaScript
• Read–eval–print loop
• Eval
• Computing
• Software engineering
• Computer programming

Robert Grimm Department of Computer Science New York University 715 Broadway, Room 711 New York, NY 10003

Source URL: www.cs.nyu.edu

• Programming Language Design and Implementation
• International Conference on Architectural Support for Programming Languages and Operating Systems
• ACM SIGACT
• Principles of Programming Languages
• Symposium on Operating Systems Principles
• Orc
• SIGPLAN
• XPL
• Computer science
• Association for Computing Machinery
• Computing

MSPC 2014 ACM SIGPLAN Workshop on Memory Systems Performance & Correctness 13 June 2014, co-located with PLDI 2014 General Chair Jeremy Singer, University of Glasgow

Source URL: mspcworkshop.org

• Association for Computing Machinery
• Programming Language Design and Implementation
• Computer memory
• Multi-core processor
• SIGPLAN
• Embedded system
• Computing
• Computer architecture
• Computer science