grin Related articles

Articles that can be useful in the future.

Jan 02 '18 14:01 andorp

https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/ennals-thesis.pdf

Jan 02 '18 14:01 andorp

Abstracting Abstract Machines https://arxiv.org/pdf/1007.4446.pdf

Jan 05 '18 17:01 andorp

http://fare.tunes.org/tmp/phd/thesis.pdf

Jan 16 '18 15:01 andorp

Trees that Grow http://www.jucs.org/jucs_23_1/trees_that_grow/jucs_23_01_0042_0062_najd.pdf

Jan 22 '18 14:01 andorp

A Nanopass Framework for Compiler Education: https://www.cs.indiana.edu/~dyb/pubs/nano-jfp.pdf

Jan 22 '18 14:01 andorp

Bottom-up Type Annotation with the Cofree Comonad: https://brianmckenna.org/blog/type_annotation_cofree

[Edited] Grin.Research module was created to reflect this idea. https://github.com/grin-tech/grin/commit/3a55f035970a67b35e3bcea4adb83085e37ee83a

Jan 22 '18 14:01 andorp

Logical Relations - Compiler verification AhmedLR.pdf

Jan 23 '18 11:01 andorp

https://github.com/ekmett/bound/blob/master/examples/Overkill.hs

Jan 24 '18 13:01 andorp

https://gergo.erdi.hu/blog/2015-02-05-typed_embedding_of_stlc_into_haskell/

Jan 24 '18 13:01 andorp

Monadic Augment and Generalised Short Cut Fusion http://www.cs.appstate.edu/~johannp/jfp06-revised.pdf

Jan 24 '18 14:01 andorp

Combining Effects and Coeffects via Grading https://www.cs.kent.ac.uk/people/staff/dao7/publ/combining-effects-and-coeffects-icfp16.pdf http://www.cs.ox.ac.uk/conferences/fscd2017/preproceedings_unprotected/TLLA_Orchard.pdf

Jan 26 '18 08:01 andorp

Total Haskell is Reasonable Coq 1711.09286.pdf

Jan 26 '18 09:01 andorp

Explaning Type Errors explaining-errors-slides.pdf

Jan 26 '18 11:01 andorp

Comonadic functional attribute evaluation tfp05-book.pdf

Jan 27 '18 19:01 andorp

Structured Computation on Trees uustalu0812-slides.pdf

Jan 27 '18 19:01 andorp

Functorial Data Migration.pdf

Feb 01 '18 14:02 andorp

A Syntactic Type System for Recursive Modules oopsla2011.pdf

Feb 02 '18 11:02 andorp

Introducing the backprop library https://blog.jle.im/entry/introducing-the-backprop-library.html

Feb 15 '18 08:02 andorp

A Denotational Semantics for Weak Memory Concurrency brookesslides.pdf

Feb 20 '18 13:02 andorp

On the type structure of standard ML

Feb 22 '18 10:02 andorp

Cedille-core: https://github.com/MaiaVictor/cedille-core

Feb 23 '18 15:02 andorp

Generic Derivation of Induction for Impredicative Encodings in Cedille http://homepage.divms.uiowa.edu/~astump/papers/cpp-2018.pdf

Feb 23 '18 16:02 andorp

Supercompilation by Evaluation https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/supercomp-by-eval.pdf

Mar 06 '18 22:03 csabahruska

https://www.ponylang.org/

Mar 11 '18 14:03 csabahruska

Calculating Correct Compilers: http://www.cs.nott.ac.uk/~pszgmh/ccc.pdf

Mar 12 '18 14:03 andorp

Making a Fast Curry: Push/Enter vs Eval/Apply for higher order languages:

https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/eval-apply.pdf
https://www.microsoft.com/en-us/research/publication/make-fast-curry-pushenter-vs-evalapply/?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Feval-apply%2F
https://www.microsoft.com/en-us/research/uploads/prod/2016/07/eval-apply-icfp.pdf

Mar 14 '18 14:03 andorp

Compiling Agda to Haskell with fewer coercions Thesis.pdf

Mar 14 '18 16:03 andorp

This thesis investigates the viability of trace-based just-in-time (JIT) compilation for optimising programs written in the lazy functional programming language Haskell. Trace-based Just-in-time Compilation for Lazy Functional Programming Languages

Mar 14 '18 17:03 csabahruska

Secrets of the Glasgow Haskell Compiler inliner https://ghc.haskell.org/trac/ghc/wiki/Inlining

Mar 20 '18 12:03 csabahruska

Ready Set Verify!

Mar 21 '18 08:03 andorp