Coffeehouse Thread

5 posts

old unypted programming language mentioned in Brian Beckman or maybe Erik Mayer video or similar?

Back to Forum: Coffeehouse
  • User profile image
    tertl3

    I heard a reference to a language like this was suggested as a research idea.  I didnt write it down in time and I really want to read about it,  Can you(anyone) help me figure out which language this was.  I remember the main thing about it was that it was untyped.  I am not 100% that you said it was functional or imperative.  Thanks a ton.  

     

    _Will(tertl3)

  • User profile image
    Richard.Hein

    I think you mean typeless lambda calculus.

  • User profile image
    JoshRoss

    Mavis to the rescue?

    -Josh

  • User profile image
    cbae

    , JoshRoss wrote

    Mavis to the rescue?

    -Josh

     

    Unsupported browser

    We're sorry but this site only supports Internet Explorer, Firefox. This is a demonstration site only and has not been tested for other popular browsers.

    We are sorry for any inconvenience this may cost.

    If you have been shown this message incorrectly, please contact our MSR MM Search. Otherwise, please use one of the supported browsers to view this site.

    Take that, Google!

  • User profile image
    tertl3

    @Richard.Hein: no, that was not it

Comments closed

Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums, or Contact Us and let us know.