Exploració per tema "Functional languages"

Ara es mostren els items 1-3 de 3

    • Exploiting parallelism by customizing evaluation 

      Clérici Martínez, Silvia Inés; Zoltan Torres, Ana Cristina (Universidad Complutense de Madrid (UCM), 2011)
      Text en actes de congrés
      Accés obert
      NiMo is a totally graphic language from the family of Higher Order Typed languages with a strong Data flow inspiration. The interpreter is a specialized graph transformation system, and therefore the language operational ...

    • Graphical and incremental type inference: a graph transformation approach 

      Clérici Martínez, Silvia Inés; Zoltan Torres, Ana Cristina; Prestigiacomo, Guillermo (2009-11-17)
      Report de recerca
      Accés obert
      We present a graph grammar based type inference system for a totally graphic development language. NiMo (Nets in Motion) can be seen as a graphic equivalent to Haskell that acts as an on-line tracer and debugger. Programs ...

    • Graphical type inference: A graph grammar definition 

      Clérici Martínez, Silvia Inés; Zoltan Torres, Ana Cristina (2007-06)
      Report de recerca
      Accés obert
      We present a graph grammar based type inference system for a totally graphic language inspired in the data flow view of lazy functional programs. NiMo (Nets in Motion) can be seen as a graphic equivalent to Haskell that ...