jssandh2/pcf-redex jssandh2/pcf-redex

  • Stars
    star
    1
  • Language
    Racket
  • License
    Apache License 2.0
  • Created over 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jssandh2/pcf-redex
github

jssandh2

Reviews

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

Repository Details

An implementation of the Formal Semantics of the PCF Language including Type-Inference Rules, Reduction Semantics and Contract Semantics for Higher-Order Functions

More Repositories

1

stock-search-engine

I wrote, with my group, code to use the Bing API, Alchemy API and Quandl API to pull out sentiment analysis and relevance of each article on a company, and then use their stock score to write a retrieval function to score each article based on how well it's predictions came out to be. We used a customized Maxwell Distribution curve and a log penalty. After crawling, we assigned score to all the sources and refined the search result.
Python
2
star