Record · corpus.blog/posts/01a087be-6604-7346-957a-906d807493d9

A Survey of PL Blogging (Part 2)

pavpanchekha.com · published 21 June 2019

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at pavpanchekha.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 28
Words captured: 719

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://alexpolozov.com/blog/program-synthesis-2018/

alexpolozov.com

A Guide to Code Generation Read at the source ↗

tomassetti.me

Trust Boundaries in Software Systems Read at the source ↗

blog.regehr.org

http://clarktony.blogspot.com/2018/02/software-engineering-winter-and-ai.html

clarktony.blogspot.com

https://www.microsoft.com/en-us/research/blog/democratizing-apis-with-natural-language-interfaces/

microsoft.com

http://prl.ccs.neu.edu/blog/2018/05/08/sampling-gradual-typing-performance/?utm_source=all&utm_medium=Atom

prl.ccs.neu.edu

https://nebelwelt.net/blog/20180221-raising_the_bar.html

nebelwelt.net

MIR-based borrow check (NLL) status update Read at the source ↗

smallcultfollowing.com

https://medium.com/@afd_icl/not-all-galaxies-are-made-equal-9812d6dcc0bb?source=rss-1380a0349f1e------2

medium.com

http://christophermeiklejohn.com/lasp/2018/03/10/serverless.html

christophermeiklejohn.com

https://freedom-to-tinker.com/2018/07/03/teaching-the-craft-ethics-and-politics-of-field-experiments/

freedom-to-tinker.com

http://www.ivanomalavolta.com/experimenting-on-mobile-apps-quality-a-tale-about-energy-performance-and-users-perception/

ivanomalavolta.com

http://blog.plataformatec.com.br/2018/07/whats-new-in-flow-v0-14/

blog.plataformatec.com.br

https://medium.com/@olydis/uncluttered-programming-in-a-world-of-many-programming-concepts-81c5824a528d?source=rss-e5d5d5f6d8c2------2

medium.com

https://blog.paulgazzillo.com/2018/02/26/notes-on-the-c-preprocessor-token-pasting/

blog.paulgazzillo.com

https://dbp.io/essays/2018-04-19-how-to-prove-a-compiler-fully-abstract.html

dbp.io

https://ryanglscott.github.io/2018/02/11/how-to-derive-generic-for-some-gadts/

ryanglscott.github.io

Getting Started with ANTLR in C++ Read at the source ↗

tomassetti.me

https://lang.video/blog/2018/03/21/making-an-ide-plugin-for-drracket/

lang.video

http://timvieira.github.io/blog/post/2018/03/16/black-box-optimization/

timvieira.github.io

http://blog.ieeesoftware.org/2018/07/its-time-for-secure-languages.html

blog.ieeesoftware.org

Are You Abusing Excel? You Need Something Different Read at the source ↗

tomassetti.me

Closing the Loop: The Importance of External Engagement in Computer Science Research Read at the source ↗

blog.regehr.org

http://www.tedinski.com/2018/06/19/all-advice-has-context.html%20

tedinski.com

Engineering Read at the source ↗

andrumyers.wordpress.com

https://www.tedinski.com/2018/05/01/designing-imperative-code-with-properties-in-mind.html

tedinski.com

Interview with Pedro J. Molina on DSLs Read at the source ↗

tomassetti.me

http://danghica.blogspot.com/2018/07/haskell-aint-maths.html

danghica.blogspot.com