https://blog.greenberg.science/ https://blog.greenberg.science/about/ https://blog.greenberg.science/categories/ https://blog.greenberg.science/categories/blog/ https://blog.greenberg.science/categories/crosswords/ https://blog.greenberg.science/categories/flapjax/ https://blog.greenberg.science/categories/formal-methods/ https://blog.greenberg.science/categories/javascript/ https://blog.greenberg.science/categories/jobs/ https://blog.greenberg.science/categories/networking/ https://blog.greenberg.science/categories/papers/ https://blog.greenberg.science/categories/posix-shell/ https://blog.greenberg.science/categories/presentations/ https://blog.greenberg.science/categories/programming-languages/ https://blog.greenberg.science/categories/software/ https://blog.greenberg.science/categories/submissions/ https://blog.greenberg.science/categories/teaching/ https://blog.greenberg.science/categories/temporal-logic-and-verification/ https://blog.greenberg.science/posts/ https://blog.greenberg.science/posts/2021-recruiting/ 2021-09-17T10:25:53Z https://blog.greenberg.science/posts/2023-recruiting/ 2023-10-25T08:19:05-05:00 https://blog.greenberg.science/posts/a-balance-of-power-expressive-analyzable-controller-programming/ 2014-01-30T13:19:55Z https://blog.greenberg.science/posts/a-new-term/ 2007-01-22T10:59:38Z https://blog.greenberg.science/posts/a-refinement-type-by-any-other-name/ 2015-03-16T23:28:54Z https://blog.greenberg.science/posts/adts-in-js18/ 2008-06-18T11:52:46Z https://blog.greenberg.science/posts/another-nasty-bug-and-an-idea/ 2007-03-30T11:28:49Z https://blog.greenberg.science/posts/answer-set-programming-powerhouse-tech/ 2022-11-07T11:10:38-05:00 https://blog.greenberg.science/posts/attack-of-the-clonenodes/ 2007-03-31T14:59:23Z https://blog.greenberg.science/posts/axiomatizing-manifest-contracts/ 2013-10-13T16:50:15Z https://blog.greenberg.science/posts/boolopt-update-v11/ 2008-02-21T16:59:43Z https://blog.greenberg.science/posts/boolopt/ 2006-07-13T00:59:55Z https://blog.greenberg.science/posts/boomerang-v01-available/ 2008-07-25T14:20:30Z https://blog.greenberg.science/posts/bridging-the-gradual-typing-gap-at-oopsla-2021/ 2021-09-21T10:34:43Z https://blog.greenberg.science/posts/bug-in-polymorphic-contracts/ 2014-01-14T11:14:05Z https://blog.greenberg.science/posts/c-gc-leaks/ 2007-11-17T11:18:02Z https://blog.greenberg.science/posts/capture-this/ 2007-03-14T14:09:46Z https://blog.greenberg.science/posts/cast-notation-a-case-study/ 2020-10-01T00:17:28Z https://blog.greenberg.science/posts/clr-hegemony/ 2006-12-04T21:50:13Z https://blog.greenberg.science/posts/collapsible-contracts-spaceefficient-contracts-in-racket/ 2018-11-12T11:49:13Z https://blog.greenberg.science/posts/computer-science-at-a-small-liberal-arts-college/ 2017-10-10T11:31:04Z https://blog.greenberg.science/posts/computer-security-in-the-face-of-a-hostile-government/ 2016-12-12T19:33:07Z https://blog.greenberg.science/posts/concurrent-netcore-from-policies-to-pipelines/ 2014-03-03T12:46:21Z https://blog.greenberg.science/posts/contracts-firstorder-interlopers-in-a-higherorder-world/ 2014-10-17T17:10:50Z https://blog.greenberg.science/posts/contracts-made-manifest-final-version/ 2009-11-03T12:03:30Z https://blog.greenberg.science/posts/contracts-made-manifest/ 2009-07-30T16:31:49Z https://blog.greenberg.science/posts/cultural-criticism-and-tech/ 2014-12-12T13:06:21Z https://blog.greenberg.science/posts/debounce-and-other-callback-combinators/ 2009-03-25T11:27:48Z https://blog.greenberg.science/posts/disjointness-of-subset-types/ 2016-04-14T17:50:33Z https://blog.greenberg.science/posts/esop-2011-papers/ 2011-01-04T10:30:01Z https://blog.greenberg.science/posts/exceptionally-available-dynamic-ifc/ 2012-07-16T16:50:17Z https://blog.greenberg.science/posts/flapjax-a-programming-language-for-ajax-applications/ 2009-08-13T12:00:29Z https://blog.greenberg.science/posts/flapjax-on-pl-perspectives/ 2019-12-03T08:23:27Z https://blog.greenberg.science/posts/flapjax-templates/ 2006-10-25T14:40:31Z https://blog.greenberg.science/posts/flapjax-tr/ 2009-04-15T10:44:25Z https://blog.greenberg.science/posts/flapjax/ 2006-10-12T22:40:41Z https://blog.greenberg.science/posts/formulog-ml-datalog-smt/ 2020-08-07T12:47:05Z https://blog.greenberg.science/posts/fp-fairytale-programming/ 2006-08-02T20:10:29Z https://blog.greenberg.science/posts/google-email-masking/ 2006-11-28T17:32:09Z https://blog.greenberg.science/posts/gravatar-support/ 2009-05-31T14:40:14Z https://blog.greenberg.science/posts/heaven-hell-or-hoboken/ 2021-09-17T09:58:31Z https://blog.greenberg.science/posts/how-to-cook-a-kat-for-your-pet-theory/ 2022-05-13T10:34:53-05:00 https://blog.greenberg.science/posts/how-to-give-a-good-talk/ 2025-02-27T18:06:33-05:00 https://blog.greenberg.science/posts/installing-ctypes-and-ctypesforeign-on-os-x-with-brew-and-opam/ 2016-02-10T17:04:56Z https://blog.greenberg.science/posts/javascript-protection/ 2006-07-04T05:27:51Z https://blog.greenberg.science/posts/js2es4/ 2007-11-30T11:19:29Z https://blog.greenberg.science/posts/lifting-in-flapjax/ 2007-08-11T20:22:04Z https://blog.greenberg.science/posts/llvm-31-haskell-741-and-os-x/ 2012-08-01T10:50:35Z https://blog.greenberg.science/posts/locally-installing-llvm-with-ocaml-bindings/ 2009-09-24T15:44:31Z https://blog.greenberg.science/posts/lovelace-and-babbage-vs-the-organist/ 2011-01-19T14:33:35Z https://blog.greenberg.science/posts/materialize-introspection/ 2025-02-05T19:03:00-05:00 https://blog.greenberg.science/posts/mgrnbrg-on-twitter/ 2012-02-01T11:07:58Z https://blog.greenberg.science/posts/minnowbrook-2025/ 2025-05-30T16:21:41-04:00 https://blog.greenberg.science/posts/more-on-this/ 2007-03-26T15:28:06Z https://blog.greenberg.science/posts/multireturn-function-call/ 2006-10-01T02:02:50Z https://blog.greenberg.science/posts/mute-silence-a-running-command/ 2025-04-01T11:17:25-04:00 https://blog.greenberg.science/posts/nested-functions-in-gcc/ 2010-03-03T11:06:40Z https://blog.greenberg.science/posts/new-and-improved-spaceefficient-manifest-contracts/ 2014-07-08T13:35:57Z https://blog.greenberg.science/posts/new-blog-who-dis/ 2024-12-15T14:44:02-05:00 https://blog.greenberg.science/posts/new-paper-word-expansion-supports-posix-shell-interactivity/ 2018-03-15T20:43:29Z https://blog.greenberg.science/posts/njpls-fall-2012/ 2012-11-15T16:33:26Z https://blog.greenberg.science/posts/obt-on-hiatus/ 2019-05-13T11:00:55Z https://blog.greenberg.science/posts/openaccess-venue-for-theoretical-computer-science/ 2009-04-30T21:58:00Z https://blog.greenberg.science/posts/phd-thesis-manifest-contracts/ 2013-12-31T15:14:30Z https://blog.greenberg.science/posts/phpenkoder-11/ 2006-06-26T19:44:18Z https://blog.greenberg.science/posts/phpenkoder-110/ 2011-10-05T11:48:48Z https://blog.greenberg.science/posts/phpenkoder-111/ 2011-10-11T09:47:02Z https://blog.greenberg.science/posts/phpenkoder-112-unicode-support/ 2014-01-15T01:08:51Z https://blog.greenberg.science/posts/phpenkoder-1121-php-is-laughably-bad-edition/ 2014-01-15T11:01:08Z https://blog.greenberg.science/posts/phpenkoder-113/ 2015-02-09T15:55:36Z https://blog.greenberg.science/posts/phpenkoder-114/ 2016-08-19T09:32:55Z https://blog.greenberg.science/posts/phpenkoder-12/ 2007-02-26T15:17:27Z https://blog.greenberg.science/posts/phpenkoder-13/ 2009-02-03T14:07:48Z https://blog.greenberg.science/posts/phpenkoder-14/ 2009-05-18T13:20:31Z https://blog.greenberg.science/posts/phpenkoder-15/ 2009-05-23T10:44:31Z https://blog.greenberg.science/posts/phpenkoder-16/ 2009-08-18T17:11:41Z https://blog.greenberg.science/posts/phpenkoder-17/ 2010-05-03T14:49:14Z https://blog.greenberg.science/posts/phpenkoder-18/ 2011-02-21T21:05:18Z https://blog.greenberg.science/posts/phpenkoder-19/ 2011-03-15T16:16:49Z https://blog.greenberg.science/posts/phpenkoder-now-in-wordpress-plugin-directory/ 2008-10-24T18:50:03Z https://blog.greenberg.science/posts/plvnet/ 2014-12-02T12:51:17Z https://blog.greenberg.science/posts/polymorphic-contracts/ 2010-10-27T11:27:00Z https://blog.greenberg.science/posts/pomona-college-is-hiring/ 2021-09-13T11:59:58Z https://blog.greenberg.science/posts/popl-2010/ 2010-01-22T10:22:37Z https://blog.greenberg.science/posts/popl-cocktail-hour/ 2021-01-16T18:49:09Z https://blog.greenberg.science/posts/popl2026-tutorial/ 2026-03-26T09:58:56-04:00 https://blog.greenberg.science/posts/practical-ocaml/ 2008-10-29T17:30:03Z https://blog.greenberg.science/posts/processing-semistructured-data-in-the-unix-shell/ 2021-06-29T10:07:35Z https://blog.greenberg.science/posts/program-synthesis-talk/ 2006-06-24T06:20:47Z https://blog.greenberg.science/posts/puzzle-correspondence-of-a-sort/ 2008-01-18T01:24:56Z https://blog.greenberg.science/posts/quickredex/ 2012-02-01T15:18:01Z https://blog.greenberg.science/posts/racist-bullshit-in-mathematics/ 2020-09-10T14:41:50Z https://blog.greenberg.science/posts/scheduling-the-discussion-order-at-pc-meetings/ 2014-10-03T09:08:35Z https://blog.greenberg.science/posts/semantics-for-exceptions-and-interrupts/ 2007-01-08T17:24:22Z https://blog.greenberg.science/posts/sigplan-blog-making-pl-ideas-accessible/ 2021-04-13T12:25:33Z https://blog.greenberg.science/posts/smart-constructors-are-smarter-than-you-think/ 2020-05-07T12:50:01Z https://blog.greenberg.science/posts/smoosh-v01/ 2019-05-15T15:05:07Z https://blog.greenberg.science/posts/solution-correspondence-of-a-sort/ 2008-02-01T09:14:15Z https://blog.greenberg.science/posts/spaceefficient-manifest-contracts-at-popl-15/ 2014-10-28T11:19:02Z https://blog.greenberg.science/posts/spaceefficient-manifest-contracts/ 2013-07-12T11:26:32Z https://blog.greenberg.science/posts/summarizing-performance-numbers/ 2021-12-14T18:02:36Z https://blog.greenberg.science/posts/the-big-brzozowski/ 2020-05-08T18:29:07Z https://blog.greenberg.science/posts/the-dynamic-practice-and-static-theory-of-gradual-typing/ 2019-04-16T09:37:47Z https://blog.greenberg.science/posts/the-joy-of-specs/ 2006-07-02T10:35:37Z https://blog.greenberg.science/posts/the-price-of-clonenode/ 2007-04-04T17:22:23Z https://blog.greenberg.science/posts/the-resurgence-of-parallelism/ 2010-05-29T05:17:20Z https://blog.greenberg.science/posts/the-university-of-pennsylvania/ 2007-04-16T17:27:37Z https://blog.greenberg.science/posts/the-worlds-largest-scheme-installbase-is/ 2009-01-14T08:39:45Z https://blog.greenberg.science/posts/towards-a-core-calculus-for-implicitly-migrationcapable-applications/ 2011-10-25T12:38:31Z https://blog.greenberg.science/posts/twitter-bots-and-oauth/ 2015-02-09T22:37:13Z https://blog.greenberg.science/posts/type-theory-comes-of-age/ 2010-02-12T10:18:37Z https://blog.greenberg.science/posts/weaselhat/ 2006-06-21T12:07:57Z https://blog.greenberg.science/posts/what-to-define-when-youre-defining-gradual-type-systems/ 2020-08-13T16:53:41Z https://blog.greenberg.science/posts/whats-hard-about-grad-school/ 2022-06-09T10:51:06-05:00 https://blog.greenberg.science/posts/when-is-program-synthesis-worthwhile/ 2022-05-24T09:52:49-05:00 https://blog.greenberg.science/posts/worldwide-enkoder-domination/ 2006-11-26T11:12:51Z https://blog.greenberg.science/posts/writing-in-computer-science/ 2007-12-05T17:07:40Z https://blog.greenberg.science/posts/xsugar/ 2007-02-07T15:31:14Z