Re: August Meeting - 15th, 6:30 - Aaron Mansheim

Re: August Meeting - 15th, 6:30 - Aaron Mansheim - Constructing Correct Algorithms For Haskell

To play with it you will need to download CoqIDE or if you're emacs-ish Proof General. To run the resulting Haskell file you will need to download the Haskell Platform.

On Wednesday, August 14, 2013, Michael Bevilacqua-Linn wrote:

Hey Folks,

Quick reminder that our next meeting is tomorrow, 6:00 at the Comcast Center by Aaron Mansheim. Hope to see you there!

Thanks,
MBL

On Wed, Aug 7, 2013 at 12:24 AM, Aaron Mansheim <minopret@gmail.com> wrote:

Yes and no. I thank Dr. Pierce for writing as first author the online book Software Foundations (http://www.cis.upenn.edu/~bcpierce/sf/). I learned Coq from its first twelve chapters.

I thank my family for permitting me to spend time, their time, on developing demonstrations of certified programming. I hope they appreciated how I enjoy it. It's also possible that they gave up persuading me to do something more helpful.

Thanks also to Michael and Philly Lambda for having me talk last July and for having me back again.

I'm a working programmer. Since July, I'm full-time research staff at the Applied Informatics Group at Drexel University. For many years previously, I have been a software developer in teams writing Java web applications and middleware, backed by relational databases and XML databases.

Aaron Mansheim

On Aug 6, 2013, at 9:43 PM, Dan Mead <d.w.mead@gmail.com> wrote:

I assume Aaron is a Benjamin Pierce student?

--

---
You received this message because you are subscribed to the Google Groups "Philly Lambda" group.
To unsubscribe from this group and stop receiving emails from it, send an email to philly-lambda+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

--

---
You received this message because you are subscribed to the Google Groups "Philly Lambda" group.
To unsubscribe from this group and stop receiving emails from it, send an email to philly-lambda+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

--

---
You received this message because you are subscribed to the Google Groups "Philly Lambda" group.
To unsubscribe from this group and stop receiving emails from it, send an email to philly-lambda+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.