Skip to main content
Toggle navigation
Home
Schools + Programs
Recent
Lectures by IAS Director and Faculty
Historical Studies
Mathematics
Natural Sciences
Social Science
Artist in Residence
Women and Mathematics
Prospects in Theoretical Physics
Academic Years
2014-2015
2013-2014
2012-2013
2011-2012
2010-2011
2009-2010
2008-2009
2007-2008
2006-2007
2005-2006
2004-2005 & prior
IAS Home
A Proof Assistant Prototype Based on Algebraic Effects and Handlers
Download
Andrej Bauer
University of Ljubljana, Slovenia; Member, School of Mathematics
March 21, 2013
More like this
Type Systems and Proof Assistant
State of the New Proof Assistant
Introduction to the Coq Proof Assistant
The Nonlinear Schroedinger Equation (NLSE) with a Random Potential: Effective Noise and Scaling Theory
Celestial Mechanics and a Geometry Based on Area