c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym

Source URL: ndmitchell.com

• Software engineering
• Declarative programming
• Computer programming
• Lambda calculus
• Functional programming
• Subroutines
• Formal methods
• Theoretical computer science
• Combinatory logic
• Let expression
• Lambda lifting
• Anonymous function

Uniform Boilerplate and List Processing

Source URL: ndmitchell.com

• Software engineering
• Subroutines
• Expected value
• Constructible universe
• Parameter
• Object-oriented programming languages
• Lambda calculus
• Data types

Procedure Call Standard for the ARM Architecture

Source URL: infocenter.arm.com

• Subroutines
• Central processing unit
• Acorn Computers
• ARM architecture
• Calling convention
• Application binary interface
• Pointer
• 64-bit computing
• Processor register
• Stack
• SIMD
• Instruction set

A Smalltalk Virtual Machine Architectural Model Allen Wirfs-Brock Pat Caudill Instantiations, Inc.

Source URL: www.instantiations.com

• Software engineering
• Computer programming
• Computing
• Subroutines
• Object-oriented programming languages
• Source code
• Pointer
• Closure
• Stack machine
• Call stack
• C++ classes
• Smalltalk

Lockdown: Dynamic Control-Flow Integrity Mathias Payer Antonio Barresi Thomas R. Gross

Source URL: hexhive.github.io

• Computing
• Computer programming
• Software
• Software bugs
• Memory management
• Subroutines
• C++
• Computer security
• Control-flow integrity
• Return-oriented programming
• Pointer
• Binary translation

Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Lambda calculus
• Subroutines
• Functional languages
• Literate programming
• Monad
• Let expression
• Glasgow Haskell Compiler
• Anonymous function

Testing in Future Space Why you needn’t Await for the Future[ScalaTest] Bill Venners Artima, Inc.

Source URL: www.nescala.org

• Concurrent programming languages
• Subroutines
• Software design patterns
• C
• Java platform
• Java servlet
• Scala
• Go
• Block
• Lock
• Reactive programming
• Futures and promises

USENIX Association Proceedings of the 10th USENIX Security Symposium Washington, D.C., USA

Source URL: www.usenix.org

• Computing
• Software engineering
• Computer programming
• Subroutines
• Software bugs
• C standard library
• Uncontrolled format string
• Printf format string
• C POSIX library
• C
• Variadic function
• Printf

Julia: A Fast Dynamic Language for Technical Computing Jeff Bezanson∗ MIT Stefan Karpinski† MIT

Source URL: karpinski.org

• Software engineering
• Computer programming
• Computing
• Type theory
• Data types
• Polymorphism
• Object-oriented programming
• Subroutines
• Covariance and contravariance
• Parameter
• Type system
• Anonymous function

Simple verification technique for complex Java bytecode subroutines

Source URL: www.kestrel.edu