@article{church1932set,
  title={A set of postulates for the foundation of logic},
  author={Church, Alonzo},
  journal={Annals of mathematics},
  pages={346--366},
  year={1932},
  publisher={JSTOR}
}

@article{turing1936computable,
  title={On computable numbers, with an application to the Entscheidungsproblem},
  author={Turing, Alan Mathison},
  journal={J. of Math},
  volume={58},
  number={345-363},
  pages={5},
  year={1936}
}

@article{church1936,
  title={An unsolvable problem of elementary number theory},
  author={Church, Alonzo},
  journal={American journal of mathematics},
  volume={58},
  pages={345--363},
  year={1936}
}

@misc{gordon_jones_2021, 
  title={Enriching excel with higher-order Functional Programming}, 
  url={https://www.microsoft.com/en-us/research/blog/lambda-the-ultimatae-excel-worksheet-function/}, 
  journal={Microsoft Research}, 
  publisher={Microsoft}, 
  author={Gordon, Andy and Jones, Simon Peyton}, 
  year={2021}, 
  month={Jan}
} 

@misc{engelschall_2015, 
  title={ECMAScript 6: New features: Overview and comparison}, 
  url={http://es6-features.org/#ExpressionBodies}, 
  journal={ECMAScript 6: New Features: Overview and Comparison}, 
  author={Engelschall, Ralf S.}, 
  year={2015}
} 

@misc{calpini_2003, 
  title={Computer Language Shootout Scorecard}, 
  url={https://dada.perl.it/shootout/craps.html}, 
  journal={Computer language shootout scorecard}, 
  author={Calpini, Aldo}, 
  year={2003}
} 

@misc{csharphistory, 
 title={The history of C\# - C\# guide}, 
 url={https://docs.microsoft.com/en-us/dotnet/csharp/whats-new/csharp-version-history}, 
 journal={C# Guide | Microsoft Docs}, 
 publisher={Microsoft}, 
 author={Dietrich, Erik and Brinkley, Tyler and Cenerelli, Ken and sheeprock and kevinknowscs and A, Aymeric and G, Titu B and Chalmers, Daniel and De George, Andy and Turn, Next and et al.},
 year={2022}
} 

 @misc{php_2009, 
  title={PHP 5.3.0 Release Announcement}, 
  url={https://www.php.net/releases/5_3_0.php}, 
  journal={php}, 
  publisher={The PHP Group}, 
  year={2009}
} 

@misc{kalev_2011, 
  title={The biggest changes in C++11 (and why you should care)}, 
  url={https://smartbear.com/blog/the-biggest-changes-in-c11-and-why-you-should-care/}, 
  journal={SmartBear.com}, 
  publisher={SmartBear Software}, 
  author={Kalev, Danny}, 
  year={2011}, 
  month={Jun}
} 

@misc{jdk8, 
  title={What's new in JDK 8}, 
  url={https://www.oracle.com/java/technologies/javase/8-whats-new.html}, 
  journal={What's New in JDK 8}, 
  publisher={Oracle}
} 

@misc{edge_2021, 
 title={Alternative syntax for Python's Lambda}, 
 url={https://lwn.net/Articles/847960/}, 
 journal={[LWN.net]}, 
 publisher={Eklektix, Inc.}, 
 author={Edge, Jake}, 
 year={2021}, 
 month={Mar}
} 

@book{milner1997definition,
  title={The definition of standard ML: revised},
  author={Milner, Robin and Tofte, Mads and Harper, Robert and MacQueen, David},
  year={1997},
  publisher={MIT press}
}