14 papers:
- SFM-2015-CoppoDPY #multi
- A Gentle Introduction to Multiparty Asynchronous Session Types (MC, MDC, LP, NY), pp. 146–178.
- ILC-2014-Cooper #knowledge base #lisp
- A Gentle Introduction to Gendl®, a Common Lisp-based Knowledge Based Engineering Environment (DC), p. 6.
- IJCAR-2014-ChocronFR #satisfiability
- A Gentle Non-disjoint Combination of Satisfiability Procedures (PC, PF, CR), pp. 122–136.
- CSEET-2012-BareissS
- A Gentle Introduction to Learn by Doing (RB, TS), pp. 81–84.
- DATE-2010-AyoubSR #multi #named #scheduling
- GentleCool: Cooling aware proactive workload scheduling in multi-machine systems (RZA, SS, TSR), pp. 295–298.
- ICFP-2010-ChapmanDMM
- The gentle art of levitation (JC, PÉD, CM, PM), pp. 3–14.
- LICS-2010-Harel
- Amir Pnueli: A Gentle Giant, Lord of the Phi’s and the Psi’s (DH), p. 57.
- ITiCSE-2008-Rubio-SanchezUP #recursion
- A gentle introduction to mutual recursion (MRS, JUF, CPF), pp. 235–239.
- SFM-2008-Zavattaro #automaton #probability
- A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form (GZ), pp. 507–523.
- GTTSE-2007-Taha #multi #programming
- A Gentle Introduction to Multi-stage Programming, Part II (WT), pp. 260–290.
- ICALP-2005-CastagnaF #semantics #type system
- A Gentle Introduction to Semantic Subtyping (GC, AF), pp. 30–34.
- PPDP-2005-CastagnaF #semantics #type system
- A gentle introduction to semantic subtyping (GC, AF), pp. 198–199.
- ITiCSE-1999-KoffmanW #java #using
- CS1 using Java language features gently (EBK, UW), pp. 40–43.
- PLILP-1991-Vollmer #case study #compilation #experience #logic programming #performance
- Experiences with Gentle: Efficient Compiler Construction Based On Logic Programming (JV), pp. 425–426.