Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 110
Number of items: 110
  • Open Access
    Grelck, C., Julku, J., & Penczek, F. (2009). Distributed S-Net: design and implementation. In M. Morazan (Ed.), Draft proceedings of the 21st International Symposium on Implementation and Application of Functional Languages (IFL 2009) (pp. 39-54) http://staff.science.uva.nl/~grelck/publications/GrelJulkPencIFL09.pdf
  • Open Access
    Grelck, C., & Shafarenko, A. (2009). S-Net language report: Version 1.0. (Technical report; No. 487). University of Hertfordshire, School of Computer Science. http://www.snet-home.org/wp-content/snet/snetref_1_0.pdf
  • Open Access
    Trojahner, K., & Grelck, C. (2009). Dependently typed array programs don’t go wrong. The Journal of Logic and Algebraic Programming, 78(7), 643-664. https://doi.org/10.1016/j.jlap.2009.03.002
  • Open Access
    Herhut, S., Joslin, C., Scholz, S.-B., & Grelck, C. (2009). Truly nested data-parallelism: compiling SaC for the Microgrid architecture. In M. Morazan (Ed.), Draft proceedings of the 21st International Symposium on Implementation and Application of Functional Languages (IFL 2009) (pp. 141-153) http://staff.science.uva.nl/~grelck/publications/HerhJoslScho+IFL09.pdf
  • Open Access
    Grelck, C., Scholz, S.-B., & Shafarenko, A. (2009). Concurrency engineering with S-Net. In J. Knoop, & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'09): Maria Taferl, 12.-14. Oktober 2009 (pp. 78-92). Institut für Computersprachen. http://www.complang.tuwien.ac.at/kps09/pdfs/grelck.pdf
  • Open Access
    Grelck, C., Herhut, S., Jesshope, C., Joslin, C., Lankamp, M., Scholz, S.-B., & Shafarenko, A. (2009). Compiling the functional data-parallel language SaC for Microgrids of Self-Adaptive Virtual Processors. In Proceedings of the 14th International Workshop on Compilers for Parallel Computing (CPC'09)
  • Herhut, S., Scholz, S.-B., Bernecky, R., Grelck, C., & Trojahner, K. (2008). From contracts towards dependent types: proofs by partial evaluation. In O. Chitil, Z. Horváth, & V. Zsók (Eds.), Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 : revised selected papers (pp. 254-273). (Lecture Notes in Computer Science; Vol. 5083). Springer. https://doi.org/10.1007/978-3-540-85373-2_15
  • Trojahner, K., & Grelck, C. (2008). Descriptor-free representation of arrays with dependent types. In S. B. Scholz (Ed.), 20th International Symposium on the Implementation and Application of Functional Languages (IFL 2008) University of Hertfordshire, School of Computer Science. http://staff.science.uva.nl/~grelck/publications/TrojGrelIFL08.pdf
  • Open Access
    Trojahner, K., & Grelck, C. (2008). Dependently typed array programs don't go wrong. (Schriftenreihe der Institute für Informatik/Mathematik; No. SIIM-TR-A-08-06). University of Lübeck, Institute of Software Technology and Programming Languages.
  • Open Access
    Penczek, F., Scholz, S.-B., & Grelck, C. (2008). Towards reconfiguration and self-adaptivity in S-Net. In S. B. Scholz (Ed.), 20th International Symposium on the Implementation and Application of Functional Languages (IFL 2008) University of Hertfordshire, School of Computer Science. http://staff.science.uva.nl/~grelck/publications/PencSchoGrelIFL08.pdf
Page 11 of 11