Conferences in DBLP
John Longley When is a Functional Program Not a Functional Program? [Citation Graph (0, 0)][DBLP ] Conf ] Miley Semmelroth , Amr Sabry Monadic Encapsulation in ML. [Citation Graph (0, 0)][DBLP ] Conf ] Steven E. Ganz , Daniel P. Friedman , Mitchell Wand Trampolined Style. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Okasaki From Fast Exponentiation to Square Matrices: An Adventure in Types. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik Nilsson Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Olin Shivers , James W. Clark , Roland McGrath Atomic Heap Transactions and Fine-grain Interrupts. [Citation Graph (0, 0)][DBLP ] Conf ] John Launchbury , Jeffrey R. Lewis , Byron Cook On Embedding a Microarchitectural Design Language within Haskell. [Citation Graph (0, 0)][DBLP ] Conf ] John Hughes , Lars Pareto Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Karl Crary A Simple Proof Technique for Certain Parametricity Results. [Citation Graph (0, 0)][DBLP ] Conf ] A. J. Kfoury , Harry G. Mairson , Franklyn A. Turbak , J. B. Wells Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Zdzislaw Splawski , Pawel Urzyczyn Type Fixpoints: Iteration vs. Recursion. [Citation Graph (0, 0)][DBLP ] Conf ] Sigbjorn Finne , Daan Leijen , Erik Meijer , Simon L. Peyton Jones Calling Hell From Heaven and Heaven From Hell. [Citation Graph (0, 0)][DBLP ] Conf ] Nick Benton , Andrew Kennedy Interlanguage Working Without Tears: Blending SML with Java. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Flatt , Robert Bruce Findler , Shriram Krishnamurthi , Matthias Felleisen Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). [Citation Graph (0, 0)][DBLP ] Conf ] Malcolm Wallace , Colin Runciman Haskell and XML: Generic Combinators or Type-Based Translation? [Citation Graph (0, 0)][DBLP ] Conf ] Atsushi Ohori , Nobuaki Yoshida Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML. [Citation Graph (0, 0)][DBLP ] Conf ] Neal Glew Type Dispatch for Named Hierarchical Types. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher League , Zhong Shao , Valery Trifonov Representing Java Classes in a Typed Intermediate Language. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Zdancewic , Dan Grossman , J. Gregory Morrisett Principals in Programming Languages: A Syntactic Proof Technique. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Elsman Static Interpretation of Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Zhong Shao Transparent Modules with Fully Syntactic Signatures. [Citation Graph (0, 0)][DBLP ] Conf ] Karl Crary , Stephanie Weirich Flexible Type Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Olaf Chitil Type Inference Builds a Short Cut to Deforestation. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Huch Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. [Citation Graph (0, 0)][DBLP ] Conf ] María Alpuente , Michael Hanus , Salvador Lucas , Germán Vidal Specialization of Inductively Sequential Functional Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] 