params.json

{"name":"Vladoovtcharov.github.io","tagline":"Page test","body":"
### Abstract Machines (for functional languages)
 - [SECD machine](http://en.wikipedia.org/wiki/SECD_machine) introduced by Peter Landin in [The Mechanical Evaluation of Expressions](http://ropas.snu.ac.kr/lib/dock/La1964.pdf) in (January 1964)
 - [CEK machine]() introduced by [Matthias Felleisen](http://www.ccs.neu.edu/home/matthias/) and [Daniel Friedman](https://www.cs.indiana.edu/~dfried/) in [Control Operators, the SECD-Machine and the lambda-Calculus](http://www.cs.indiana.edu/pub/techreports/TR197.pdf) in (June 1986)
 - [Krivine machine]() introduced by [Jean-Louis Krivine](http://www.pps.univ-paris-diderot.fr/~krivine/) in [Un interpréteur du lambda-calcul](http://www.pps.univ-paris-diderot.fr/~krivine/articles/interprt.pdf) in (1985)
 - [CAM]() introduced by [Guy Cousineau](), [Pierre-Louis Curien](http://www.pps.univ-paris-diderot.fr/~curien/), [Michel Mauny](http://www.mauny.net/index.en.php) introduced in [The categorical abstract machine]() in (1985)
 - [SK machine]() introduced by [David Turner]() in [A new implementation technique for applicative languages](http://www.cs.uu.nl/wiki/pub/Cco/CourseResources/new_implementation_technique.pdf) in (December 1979)
 - [ZINC machine]()
 - [G machine]()
 - [Spineless Tagless G machine]()
 - [TIM]()

### Lambda Calculus Evaluation Strategies

### Lambda Calculus Semantics
 - [Denotational Semantics]() by [Dana Scott]()
 - [Operational Semantics]() (small step vs big step/natural vs structural)
 - [Herbrand Model]

### Side Effects
 - [Monads] as by Moggi
 - [Monads] as by Wadler
 - [Algebraic Effects]() eff?

### Data Types / Typeing
 - [Classes]() as in Making ad-hoc polymorhpsim less ad hoc
 - [Combinatorial Species]() as by Joyal
 
 ### Control Flow
  - [CPS Transform]()
  - [Delemited Continuations]()
  - [CPS in logic]() as by Griffin
  - [Zippers]() as by Huet

"
,"google":"","note":"Don't delete this file! It's used internally to help with page regeneration."}