Conferences in DBLP
Yasuhiko Minamide , Jacques Garrigue On the Runtime Complexity of Type-Directed Unboxing. [Citation Graph (0, 0)][DBLP ] Conf ] Eelco Visser , Zine-El-Abidine Benaissa , Andrew P. Tolmach Building Program Optimizers with Rewriting Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] John Hannan , Patrick Hicks Higher-Order Arity Raising. [Citation Graph (0, 0)][DBLP ] Conf ] Jörgen Gustavsson A Type Based Sharing Analysis for Update Avoidance and Optimisation. [Citation Graph (0, 0)][DBLP ] Conf ] Richard B. Kieburtz Taming Effects with Monadic Typing. [Citation Graph (0, 0)][DBLP ] Conf ] Philip Wadler The Marriage of Effects and Monads. [Citation Graph (0, 0)][DBLP ] Conf ] Colin J. Taylor A Theory of Core Fudgets. [Citation Graph (0, 0)][DBLP ] Conf ] Michael W. Hicks , Pankaj Kakkar , Jonathan T. Moore , Carl A. Gunter , Scott Nettles PLAN: A Packet Language for Active Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Bruce Findler , Matthew Flatt Modular Object-Oriented Programming with Units and Mixins. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Odersky Programming with Variable Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Mackie YALE: Yet Another Lambda Evaluator Based on Interaction Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Nick Benton , Andrew Kennedy , George Russell Compiling Standard ML to Java Bytecodes. [Citation Graph (0, 0)][DBLP ] Conf ] Zhong Shao Typed Cross-Module Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Sigbjorn Finne , Daan Leijen , Erik Meijer , Simon L. Peyton Jones H/Direct: A Binary Foreign Language Interface for Haskell. [Citation Graph (0, 0)][DBLP ] Conf ] Jon Mountjoy The Spineless Tagless G-machine, naturally. [Citation Graph (0, 0)][DBLP ] Conf ] Per Bjesse , Koen Claessen , Mary Sheeran , Satnam Singh Lava: Hardware Design in Haskell. [Citation Graph (0, 0)][DBLP ] Conf ] Abbas Edalat , Peter John Potts , Philipp Sünderhauf Lazy Computation with Exact Real Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy Karczmarczuk Functional Differentiation of Computer Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Luc Moreau A Distributed Garbage Collector with Diffusion Tree Reorganisation and Mobile Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Johan Nordlander Pragmatic Subtyping in Polymorphic Languages. [Citation Graph (0, 0)][DBLP ] Conf ] François Pottier A Framework for Type Inference with Subtyping. [Citation Graph (0, 0)][DBLP ] Conf ] Lennart Augustsson Cayenne - a Language with Dependent Types. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Sobel , Daniel P. Friedman Recycling Continuations. [Citation Graph (0, 0)][DBLP ] Conf ] Enno Scholz Imperative Streams - A Monadic Combinator Library for Synchronous Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Gibbons , Geraint Jones The Under-Appreciated Unfold. [Citation Graph (0, 0)][DBLP ] Conf ] Graham Hutton Fold and Unfold for Program Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Zhe Yang Encoding Types in ML-Like Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Karl Crary , Stephanie Weirich , J. Gregory Morrisett Intensional Polymorphism in Type-Erasure Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Zhong Shao , Christopher League , Stefan Monnier Implementing Typed Intermediate Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Arne Kutzner , Manfred Schmidt-Schauß A Non-Deterministic Call-by-Need Lambda Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Oleg Kiselyov LAND*: an AND with local bindings, a guarded LET* special form. [Citation Graph (0, 0)][DBLP ] Conf ] Oleg Kiselyov Functional Style in C++: Closures, Late Binding, and Lambda Abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce J. McAdam Type Errors Confuse the Programmer (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Robert Ennals Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Ennals Verbose Typing. [Citation Graph (0, 0)][DBLP ] Conf ] Zoran Putnik On Application of Self-Similar Pictures in Education. [Citation Graph (0, 0)][DBLP ] Conf ] Dan Russell MAP: A Functional Analysis and Design Method. [Citation Graph (0, 0)][DBLP ] Conf ] Oleg Kiselyov A Delegation Language to Request Weather Products and a Scheme of Its Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy An , Young Park A Structured Approach to Retrieving Functions by Types. [Citation Graph (0, 0)][DBLP ] Conf ] Gary Shu Ling Frob - Functional Robotics. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel H. Marcos , Pablo E. Martínez López , Walter A. Risi A Functional Programming Approach to Hypermedia Authoring. [Citation Graph (0, 0)][DBLP ] Conf ] Claudia Faggian A Term Calculus for Unitary Approach to Nomalization. [Citation Graph (0, 0)][DBLP ] Conf ] Yan-David Erlich Implementing Design Patterns as Language Constructs. [Citation Graph (0, 0)][DBLP ] Conf ] Oleg Kiselyov A Lazy CGI Namespace in Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Yuchen Zhang , Yanhong A. Liu Automating Derivation of Incremental Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Haiming Chen Combining CFG and Recursive Functions to Get a New Language. [Citation Graph (0, 0)][DBLP ] Conf ] 