EncodePanda/papers_i_love

Stars
155
Rank 240,864 (Top 5 %)
Language
License
Apache License 2.0
Created about 9 years ago
Updated over 4 years ago

EncodePanda/papers_i_love

EncodePanda

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Papers I love :)

Software Engineering

	Paper
◻️	SOFTWARE ENGINEERING - Report on a conference sponsored by the NATO SCIENCE COMMITTEE

Functional programming

Essence

	Paper
◻️	Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
🔳	Why Functional Programming Matters by J. Hughes
◻️	The essence of functional programming by Philip Wadler

A bit of history

	Paper
◻️	Some History of Functional Programming Languages by D. A. Turner
◻️	The Conception, Evolution, and Application of Functional Programming Languages by Paul Hudak
◻️	History of Lambda-calculus and Combinatory Logic by Felice Cardone and J. Roger Hindley
🔳	Propositions as Types by Philip Wadler

Strong Functional Programming

	Paper
◻️	Elementary Strong Functional Programming by D. A. Turner
◻️	A Tutorial Implementation of a Dependently Typed Lambda Calculus

Monads, monads everywhere

	Paper
◻️	Monads for functional programming by Philip Wadler
◻️	Monad Transformers Step by Step

Recursion schemas

	Paper
◻️	Recursion Schemas from Comonads by Tarmo Uustalu
◻️	Unifying Structured Recursion Schemes by Ralf Hinze, Nicolas Wu and Jeremy Gibbons
◻️	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire by Erik Meijer Maarten, Fokkinga and Ross Paterson

Other

	Paper
◻️	Purely Functional Data Structures by Chris Okasaki
◻️	Program Design by Calculation by J.N.Oliveira (draft)
◻️	Adaptive Lock-Free Maps: Purely-Functional to Scalable by Ryan R. Newton Peter P. Fogg Ali Varamesh
◻️	Adaptive lock-free maps: purely-functional to scalable
🔳	Recursive types for free! by Philip Wadler
◻️	Theroems for free! by Philip Wadler

Haskell

	Paper
◻️	A Gentle Introduction to Haskell by Paul Hudak, John Peterson and Joseph Fasel
◻️	A History of Haskell: Being Lazy With Class

JVM

	Paper
◻️	Comparison of Erlang Runtime System and Java Virtual Machine

Other

http://www.math.harvard.edu/~mazur/preprints/when_is_one.pdf https://arxiv.org/pdf/1601.05035v3.pdf

todo-rest

Example of usage polysemy and servant

99-scala-problems

99 Scala problems (http://aperiodic.net/phil/scala/s-99/) solved in Scala

make-your-programs-free

es_cqrs_example

Sample application showing how Event Sourcing + CQRS can be implemented in Akka

my_emacs_d

My Emacs configuration, the way I like it

spark-workshop

haskell-template-project

haskell-starter-kit

talks

Collection of my talks

lambdaconf2017_workshop

Practical FP in Scala workshop

trip_with_monads

maintainable-software-architecture-in-haskell

getting-acquainted-with-lens

texas_holdem_erlang

My implementation of distributed Texas Holdem

ParquetRDD

Apache Spark that represents parquet files on hdfs

lambdaconf_wt_2016

emacs_ensime_guide

Scala and Emacs with Ensime. Guide for frustrated IDEA users.

learning_free

Learning Free Monad

scalaz-mtl

Attempt to bring MTL to scalaz with different encoding. Hopefully this will become part of scalaz eventually. Project mentored & inspired by Edmund Nobel's work on cats-mtl

advent-of-code-2019

https://adventofcode.com/

scala_typeclasses

Typeclasses example in Scala

bp-getting-acquainted-with-lens

bp-servant-polysemy-todo-app

Code + source material to a blog post about writing TODO app in Haskell using Servant and Polysemy

ch-otp

My solution to CH/OTP Test Task

cats_and_z

Learning about typeclasses in Cats and ScalaZ

my-rdd

Implementing Spark RDDs for fun and profit

learning_recursion_schemes

robotcode_scala

HaskellUniversity-semester1

My portfolio built by solving "https://github.com/HaskellChamber/Haskell-University" exercises

h

home-manager for my MacOS computers

fp_in_scala_book

adventofcode2018

https://adventofcode.com/