Conferences in DBLP
Gopalan Nadathur The Metalanguage lambda-Prolog and Its Implementation. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:1-20 [Conf ] George C. Necula A Scalable Architecture for Proof-Carrying Code. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:21-39 [Conf ] Taisuke Sato Parameterized Logic Programs where Computing Meets Learning. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:40-60 [Conf ] Jeff Polakow , Kwangkeun Yi Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:61-77 [Conf ] Olivier Danvy , Lasse R. Nielsen A Higher-Order Colon Translation. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:78-91 [Conf ] Kwanghoon Choi , Hyun-il Lim , Taisook Han Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:92-107 [Conf ] Javier Leach , Susana Nieva A Higher-Order Logic Programming Language with Constraints. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:108-122 [Conf ] Giorgio Delzanno Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:123-137 [Conf ] Marco Bozzano , Giorgio Delzanno , Maurizio Martelli An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:138-152 [Conf ] Jesús Manuel Almendros-Jiménez , Antonio Becerra-Terón A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:153-169 [Conf ] Rafael Caballero , Francisco Javier López-Fraguas , Mario Rodríguez-Artalejo Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:170-184 [Conf ] Wolfgang Lux Adding Linear Constraints over Real Numbers to Curry. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:185-200 [Conf ] Taro Suzuki , Aart Middeldorp A Complete Selection Function for Lazy Conditional Narrowing. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:201-215 [Conf ] Maria Teresa Hortalá-González , Eva Ullán An Abstract Machine Based System for a Lazy Narrowing Calculus. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:216-232 [Conf ] César Ferri , José Hernández-Orallo , M. José Ramírez-Quintana Incremental Learning of Functional Logic Programs. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:233-247 [Conf ] Martin Sulzmann A General Type Inference Framework for Hindley/Milner Style Systems. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:248-263 [Conf ] Koji Kagawa Monadic Encapsulation with Stack of Regions. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:264-279 [Conf ] Pierre Deransart , Jan-Georg Smaus Well-Typed Logic Programs Are not Wrong. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:280-295 [Conf ] Vitaly Lagoon , Peter J. Stuckey A Framework for Analysis of Typed Logic Programs. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:296-310 [Conf ] Gianluca Amato , Fausto Spoto Abstract Compilation for Sharing Analysis. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:311-325 [Conf ] Elvira Albert , Michael Hanus , Germán Vidal A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:326-342 [Conf ] Olivier Danvy , Morten Rhiger A Simple Take on Typed Abstract Syntax in Haskell-like Languages. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:343-358 [Conf ] Masahiko Sato , Takafumi Sakurai , Yukiyoshi Kameyama A Simply Typed Context Calculus with First-Class Environments. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:359-374 [Conf ] Fairouz Kamareddine , Twan Laan , Rob Nederpelt Refining the Barendregt Cube Using Parameters. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:375-390 [Conf ]