polaro.blogspot.com
The Paralyzing Paradoxes of Professor Polaro: December 2008
http://polaro.blogspot.com/2008_12_01_archive.html
The Paralyzing Paradoxes of Professor Polaro. Primarily about proofs and programs. Wednesday, December 24, 2008. On Bi-Polarism Theory and Mathematics is Inconsistent. And while you're in the holiday spirit, check out The Twelf Days of Christmas. Links to this post. Thursday, December 4, 2008. A conference dedicated to Per Martin-Löf on the occasion of his retirement. This promises to be a very exciting conference. Links to this post. Subscribe to: Posts (Atom). View my complete profile.
polaro.blogspot.com
The Paralyzing Paradoxes of Professor Polaro: Defunctionalizing proofs (revised + extended edition)
http://polaro.blogspot.com/2009/07/defunctionalizing-proofs-revised.html
The Paralyzing Paradoxes of Professor Polaro. Primarily about proofs and programs. Friday, July 10, 2009. Defunctionalizing proofs (revised extended edition). I wrote a paper that elaborates and improves upon the basic idea I talked sketchily about some months ago. Of applying defunctionalization towards a formal representation of "Ω-rules" in Twelf, with applications to pattern-matching and cut-elimination. The paper was accepted to Proof Search in Type Theory. Next month in Montreal. Opinions of Doron ...
polaro.blogspot.com
The Paralyzing Paradoxes of Professor Polaro: December 2009
http://polaro.blogspot.com/2009_12_01_archive.html
The Paralyzing Paradoxes of Professor Polaro. Primarily about proofs and programs. Monday, December 21, 2009. The History of Categorical Logic. I'm currently making my way through Jean-Pierre Marquis and Gonzalo E. Reyes' 116-page-long The History of Categorical Logic. And it is fascinating. Someone needs to make it into a comic book. HT: This Week's Finds. Links to this post. Subscribe to: Posts (Atom). The History of Categorical Logic. View my complete profile. Speak Polish and die.
polaro.blogspot.com
The Paralyzing Paradoxes of Professor Polaro: January 2010
http://polaro.blogspot.com/2010_01_01_archive.html
The Paralyzing Paradoxes of Professor Polaro. Primarily about proofs and programs. Tuesday, January 26, 2010. Twelf, my favorite general-purpose functional programming language. Disclaimer: the title of this post is tongue-in-cheek—I do not really like to play favorites. But hopefully you will understand why I chose it: to mess with your head.). Last week I was at POPL 2010. S talk about Continuity Analysis of Programs. Continuity, like type safety, provides a measure of the "robustness" of programs.
polaro.blogspot.com
The Paralyzing Paradoxes of Professor Polaro: February 2009
http://polaro.blogspot.com/2009_02_01_archive.html
The Paralyzing Paradoxes of Professor Polaro. Primarily about proofs and programs. Wednesday, February 4, 2009. On the meaning of logical completeness. I would really like to have time to read this paper. By Michele Basaldella and Kazushige Terui, as well as many of Terui's other highly interesting recent papers. Links to this post. Subscribe to: Posts (Atom). On the meaning of logical completeness. View my complete profile. Speak Polish and die. Formal proofs are not just deduction steps.
polaro.blogspot.com
The Paralyzing Paradoxes of Professor Polaro: September 2010
http://polaro.blogspot.com/2010_09_01_archive.html
The Paralyzing Paradoxes of Professor Polaro. Primarily about proofs and programs. Wednesday, September 29, 2010. Reflecting and reifying the state monad. The Haskell code below was inspired by Andrej Bauer's visit last week. As well as thinking more about this. Links to this post. Subscribe to: Posts (Atom). Reflecting and reifying the state monad. View my complete profile. Speak Polish and die. Formal proofs are not just deduction steps. Option A: Think about the children. Topological Crystals (Part 4).
polaro.blogspot.com
The Paralyzing Paradoxes of Professor Polaro: October 2009
http://polaro.blogspot.com/2009_10_01_archive.html
The Paralyzing Paradoxes of Professor Polaro. Primarily about proofs and programs. Wednesday, October 28, 2009. I realized that the idea of the previous post. Of factoring normalization as a translation to and from a syntactic model of normal forms is explored very nicely in a JFP article by Altenkirch and Chapman, indeed with a concrete environment semantics, albeit without a connection to focusing:. Thorsten Altenkirch and James Chapman. Links to this post. Sunday, October 11, 2009. But there's a burde...
polaro.blogspot.com
The Paralyzing Paradoxes of Professor Polaro: November 2009
http://polaro.blogspot.com/2009_11_01_archive.html
The Paralyzing Paradoxes of Professor Polaro. Primarily about proofs and programs. Monday, November 16, 2009. What is the logic of ML values? Before approaching the question, "What is the logic of ML values? I first want to explain why there is more subtlety to the question than is often assumed. Warning: this is a long post on something which most people probably care very little about. On the other hand, there are 19 google hits for "logic changed my life". For some programming language X? Yet, I belie...
fontbloggers.com
FontBloggers.com - Blogs
http://www.fontbloggers.com/blogs.cfm
Read your favorite Fonts blogs in one place. Browse All Industry Blogs From One Site. Remembers What You’ve Read. Customize The Content You Receive. Includes Blogs, Twitter, News and more. For People Who Like Type and Types. DailyFreeFonts.com - The free font archive with daily new fonts. The latest free fonts and typefaces for Windows and Mac on DailyFreeFonts.com in the RSS Font Feed. Http:/ www.dailyfreefonts.com. DailyFreeFonts.com - The free font archive with daily new fonts. The land of inspiration.
polaro.blogspot.com
The Paralyzing Paradoxes of Professor Polaro: reflecting and reifying the state monad
http://polaro.blogspot.com/2010/09/reflecting-and-reifying-state-monad.html
The Paralyzing Paradoxes of Professor Polaro. Primarily about proofs and programs. Wednesday, September 29, 2010. Reflecting and reifying the state monad. The Haskell code below was inspired by Andrej Bauer's visit last week. As well as thinking more about this. Subscribe to: Post Comments (Atom). Reflecting and reifying the state monad. View my complete profile. Speak Polish and die. Formal proofs are not just deduction steps. Option A: Think about the children. Topological Crystals (Part 4). Opinion 10...
