File:Andrew Apple (FloC 2006).jpg

Original file (432 × 640 pixels, file size: 166 KB, MIME type: image/jpeg)

Summary

Description Andrew Appel presents "A List-machine Benchmark for Mechanized Metatheory" by himself and Xavier Leroy
Date
Source FLoC 2006: LFMTP Workshop
Author Dennis Hamilton from Seattle, Washington, USA

Licensing

w:en:Creative Commons
attribution
This file is licensed under the Creative Commons Attribution 2.0 Generic license.
You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
This image was originally posted to Flickr by orcmid at https://www.flickr.com/photos/91555706@N00/219673915. It was reviewed on 20 April 2007 by FlickreviewR and was confirmed to be licensed under the terms of the cc-by-2.0.

20 April 2007

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

16 August 2006

image/jpeg

67e29a6ccc5f54ae7131f2e91e41e397ec6f272f

169,571 byte

640 pixel

432 pixel

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current23:09, 19 April 2007Thumbnail for version as of 23:09, 19 April 2007432 × 640 (166 KB)R. Koot{{Information |Description= Andrew Appel presents "A List-machine Benchmark for Mechanized Metatheory" by himself and Xavier Leroy |Source=[http://www.flickr.com/photos/91555706@N00/219673915/ FLoC 2006: LFMTP Workshop] |Date=August 16, 2006 at 15:00 |Aut

The following page uses this file:

Global file usage

The following other wikis use this file:

Metadata