தேடல் முடிவுகள் - "Programming Languages"

பரிந்துரைக்கப்பட்ட தலைப்புகள்: தேடல் வடிகட்டி பரிந்துரைக்கப்பட்ட தலைப்புகள்: தேடல் வடிகட்டி
முடிவுகளை மேம்படுத்து
  1. 1
    மூடுப்படம்

    Untangling Typechecking of Intersections and Unions மூலம் Dunfield, Jana

    வெளியிடப்பட்டது 2011
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  2. 2
    மூடுப்படம்

    An ER-based Framework for Declarative Web Programming மூலம் Hanus, Michael, Koschnicke, Sven

    வெளியிடப்பட்டது 2011
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  3. 3
    மூடுப்படம்

    Singular and Plural Functions for Functional Logic Programming மூலம் Riesco, Adrián, Rodríguez-Hortalá, Juan

    வெளியிடப்பட்டது 2012
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  4. 4
    மூடுப்படம்

    Elaborating Intersection and Union Types மூலம் Dunfield, Jana

    வெளியிடப்பட்டது 2012
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  5. 5
    மூடுப்படம்

    Transforming floundering into success மூலம் Naish, Lee

    வெளியிடப்பட்டது 2012
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  6. 6
    மூடுப்படம்

    AstraKahn: A Coordination Language for Streaming Networks மூலம் Shafarenko, Alex

    வெளியிடப்பட்டது 2013
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  7. 7
    மூடுப்படம்

    Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism மூலம் Dunfield, Jana, Krishnaswami, Neelakantan R.

    வெளியிடப்பட்டது 2013
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  8. 8
    மூடுப்படம்

    Unfolding for CHR programs மூலம் Gabbrielli, Maurizio, Meo, Maria Chiara, Tacchella, Paolo, Wiklicky, Herbert

    வெளியிடப்பட்டது 2013
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  9. 9
    மூடுப்படம்

    Annotations for Intersection Typechecking மூலம் Dunfield, Jana

    வெளியிடப்பட்டது 2013
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  10. 10
    மூடுப்படம்

    Infinite probability computation by cyclic explanation graphs மூலம் Sato, Taisuke, Meyer, Philipp

    வெளியிடப்பட்டது 2013
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  11. 11
    மூடுப்படம்

    Range Algebra for Safe Array Splits மூலம் Perisic, Aleksandar

    வெளியிடப்பட்டது 2014
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  12. 12
    மூடுப்படம்

    Tabling, Rational Terms, and Coinduction Finally Together! மூலம் Mantadelis, Thepfrastos, Rocha, Ricardo, Moura, Paulo

    வெளியிடப்பட்டது 2014
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  13. 13
    மூடுப்படம்

    On Termination, Confluence and Consistent CHR-based Type Inference மூலம் Duck, Gregory J., Haemmerle, Remy, Sulzmann, Martin

    வெளியிடப்பட்டது 2014
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  14. 14
    மூடுப்படம்

    Incremental Tabling in Support of Knowledge Representation and Reasoning மூலம் Swift, Terrance

    வெளியிடப்பட்டது 2014
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  15. 15
    மூடுப்படம்

    A Linear Logic Programming Language for Concurrent Programming over Graph Structures மூலம் Cruz, Flavio, Rocha, Ricardo, Goldstein, Seth Copen, Pfenning, Frank

    வெளியிடப்பட்டது 2014
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  16. 16
    மூடுப்படம்

    Abstract Diagnosis for tccp using a Linear Temporal Logic மூலம் Comini, Marco, Titolo, Laura, Villanueva, Alicia

    வெளியிடப்பட்டது 2014
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  17. 17
    மூடுப்படம்

    Pengines: Web Logic Programming Made Easy மூலம் Lager, Torbjörn, Wielemaker, Jan

    வெளியிடப்பட்டது 2014
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  18. 18
    மூடுப்படம்

    A Module System for Domain-Specific Languages மூலம் Jackson, Ethan K.

    வெளியிடப்பட்டது 2014
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  19. 19
    மூடுப்படம்

    Elaborating Evaluation-Order Polymorphism மூலம் Dunfield, Jana

    வெளியிடப்பட்டது 2015
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:
  20. 20
    மூடுப்படம்

    Concolic Testing in Logic Programming மூலம் Mesnard, Fred, Payet, Étienne, Vidal, Germán

    வெளியிடப்பட்டது 2015
    பொருள்கள்: “…Programming Languages…”
    முழு உரையை பெறுங்கள்
    முழு உரையை பெறுங்கள்
    கட்டுரை
    பிடித்தவற்றில் சேர்க்கவும்
    சேமிக்கப்பட்டது:

தேடல் கருவிகள்: