CURRICULUM VITAE Martin C. Rinard Department of Electrical Engineering and Computer Science Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology

Source URL: people.csail.mit.edu

• Software engineering
• OOPSLA
• Programming Language Design and Implementation
• Symposium on Principles and Practice of Parallel Programming
• SIGPLAN
• Principles of Programming Languages
• XPL
• ECL programming language
• Monica S. Lam
• Association for Computing Machinery
• Computer science
• Computing

ACM Sigplan Notices 27,1 (Jan. 1992),[removed]Computing A*B (mod N) Efficiently in ANSI C Henry G. Baker Nimble Computer Corporation, 16231 Meadow Ridge Way, Encino, CA[removed][removed]1360 FAX

Source URL: home.pipeline.com

• Computing
• Computer architecture
• Primitive types
• Binary arithmetic
• Floating point
• Q
• Integer
• Single-precision floating-point format
• Double-precision floating-point format
• Computer arithmetic
• Data types
• Arithmetic

Curriculum Vitae Jens Palsberg April 18, 2014

Source URL: www.cs.ucla.edu

• Association for Computing Machinery
• Object-oriented programming
• Principles of Programming Languages
• ACM SIGACT
• SIGPLAN
• International Conference on Functional Programming
• William Cook
• Subtype polymorphism
• Programming Language Design and Implementation
• Computer science
• Computing
• Software engineering

PDF Document

Source URL: www.cs.virginia.edu

• Hash table
• Java
• SIGPLAN
• Dynamic array
• Programming Language Design and Implementation
• Computing
• Cross-platform software
• Software

PDF Document

Source URL: www.sigplan.org

• Software engineering
• Programming Language Design and Implementation
• SIGPLAN
• ABLE
• International Conference on Functional Programming
• Principles of Programming Languages
• Programming language theory
• XPL
• Association for Computing Machinery
• Computing
• Computer science

Generic Queries Pattern Calculus bondi Future Applications Programming with Patterns

Source URL: bondi.it.uts.edu.au

• SIGPLAN
• Pattern calculus
• Polymorphism
• XPL
• Lambda calculus
• Software engineering
• Computing
• Computer programming

A DAM C HLIPALA Cambridge, MA USA [removed] http://adam.chlipala.net/ A hyperlinked HTML version of this CV is available at http://adam.chlipala.net/cv.html.

Source URL: adam.chlipala.net

• Association for Computing Machinery
• Functional languages
• Functional programming
• International Conference on Functional Programming
• Principles of Programming Languages
• SIGPLAN
• Programming Language Design and Implementation
• George Necula
• Generic programming
• Software engineering
• Computing
• Computer science

From HTTP to HTML Experiences in Web Based Service Applications ACM Sigplan Erlang Workshop Portland, Oregon, September 16, 2006

Source URL: www.erlang.se

37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL ’10) Call for Papers Madrid, Spain, January 20-22, 2010. URI: http://www.cse.psu.edu/popl/10

Source URL: www.cse.psu.edu

• Principles of Programming Languages
• Knowledge
• SIGPLAN
• ACM SIGACT
• XPL
• Abstract management
• Computer science
• Computing
• Association for Computing Machinery

Coq — Recent History SIGPLAN Programming Language Software Award POPL 2014 — San Diego, USA January 23rd 2014

Source URL: mattam.org

• Coq
• Herbelin
• Coenzyme Q10
• Gérard Huet
• SIGPLAN
• Type class
• Chemistry
• Declarative programming
• Software engineering