Index of /~cognominal

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -
[ ]2html12-Nov-2005 03:22 876
[ ]1973 -- Richard P. Brent -- Reducing the Retrieval Time of Scatter Storage Techniques.pdf12-Nov-2005 03:19 403K
[ ]1977 -- John Backus -- Can Programming Be Liberated from the von Neuman Style? A functionnal Style and its Algebra of Prgrams.pdf12-Nov-2005 03:19 2.9M
[ ]1985 -- Luca Cardelli Peter Wegner -- On Understanding Types, Data Abstraction, and Polymorphism.pdf12-Nov-2005 03:19 161K
[ ]1987 -- Luca Cardelli -- Basic Polymorphic Typechecking.pdf12-Nov-2005 03:19 85K
[ ]1987 -- Philip Wadler -- Views: A way for pattern matching to cohabit with data abstraction.pdf12-Nov-2005 03:19 174K
[ ]1988 -- Luca Cardelli -- Semantics of Multiple Inheritance.pdf12-Nov-2005 03:19 124K
[ ]1988 -- Philip Wadler, Stephen Blott -- How to Make Ad-Hoc Polymorphism Less Ad Hoc.pdf12-Nov-2005 03:19 238K
[ ]1989 -- Jean-Yves Girard -- Proofs and Types.pdf12-Nov-2005 03:19 925K
[ ]1990 -- John Hughes -- Why Functional Programming Matters.pdf12-Nov-2005 03:19 162K
[ ]1990 -- Philip Wadler -- Comprehending Monads.ps12-Nov-2005 03:19 301K
[ ]1990 -- Philip Wadler -- Deforestation: Transforming programs to eliminate trees.pdf12-Nov-2005 03:19 190K
[ ]1990 -- Philip Wadler -- Linear types can change the world!.ps12-Nov-2005 03:19 205K
[ ]1991 -- Luca Cardelli -- Typeful Programming.pdf12-Nov-2005 03:19 230K
[ ]1991 -- Robin Milner -- Commentary on Standard ML.pdf12-Nov-2005 03:19 708K
[ ]1991 -- Simon L Peyton Jones, John Laucchbury -- Unboxed values as first class citizen in a non-strict functional language.ps12-Nov-2005 03:19 246K
[ ]1992 -- Andrew K. Wright, Matthias Felleisen -- A syntactic Approach to Type Soundness.ps12-Nov-2005 03:19 453K
[ ]1992 -- David J.King, Philip Wadler -- Combining Monads.pdf12-Nov-2005 03:19 158K
[ ]1992 -- Phikip Wadler -- The essence of functional programming.ps12-Nov-2005 03:19 191K
[ ]1992 -- Rémy, Pierce -- Dynamic Typing in Polymorphic lannguages.ps12-Nov-2005 03:19 212K
[ ]1992 -- Xavier Leroy -- Unboxed objects and polymorphic typing.ps12-Nov-2005 03:19 230K
[ ]1993 --- Steffen -- Van Bakel Principal Type Schemes for the Strict Type Assignment System.pdf12-Nov-2005 03:19 408K
[ ]1993 -- Didier Rémy -- Type Inference for Records in a Natural Extension of ML.dvi12-Nov-2005 03:19 113K
[ ]1993 -- John C Reynolds -- The discoveries of Continuations.ps12-Nov-2005 03:19 136K
[ ]1993 -- Simon L Peyton Jones, Philip Wadler -- Imperative Functional Programming.ps12-Nov-2005 03:19 213K
[ ]1993 -- Zong Shao, Andrew W. Appel -- Smartest Compilation.ps12-Nov-2005 03:19 204K
[ ]1994 -- Akihiro Nakaya -- Type Inference For Polymorphic Reference With Subtyping.pdf12-Nov-2005 03:19 207K
[ ]1994 -- Andrew Tolmach -- Tag-Free Garbage Collection Using Explicit Type Parameters.pdf12-Nov-2005 03:19 179K
[ ]1994 -- Barbara Liskov, Jeannette M. Ving -- Family Values: A Behavorial Notion of SubTyping.pdf12-Nov-2005 03:19 383K
[ ]1994 -- Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, LimSoon Wong -- Comprension Syntax.ps12-Nov-2005 03:19 201K
[ ]1995 -- Andrew K. Wright -- Simple Imperative Polymorphism.pdf12-Nov-2005 03:19 83K
[ ]1995 -- Catherine Dubois, François Ruuaix, Pierre Weis -- Extensional Poymorphism.dvi12-Nov-2005 03:19 102K
[ ]1995 -- David N. Turner, Christian Mossin -- Once upon a type.pdf12-Nov-2005 03:19 208K
[ ]1995 -- Didier Rémy -- Typing Record Concatenation for Free.ps12-Nov-2005 03:19 183K
[ ]1995 -- Emir Passalic -- The Role of Type Equality in Meta-Programming.pdf12-Nov-2005 03:19 1.6M
[ ]1995 -- Jun P. Furuse and Jacques Garrigue -- A label-selective lambda-calculus with optional arguments and its compilation method.pdf12-Nov-2005 03:19 242K
[ ]1995 -- Limsoon Wong -- An Introduction to Remy's Fast Polymorphic Record Projection.ps12-Nov-2005 03:19 138K
[ ]1995 -- Mark P. Jones -- Simplifying and Improving Qualified Types.pdf12-Nov-2005 03:19 200K
[ ]1995 --Peter Buneman, Shamim Naqvi, Val Tannen, Limsoon Wong -- Principles of Programming with Complex Objects and Collection Types.ps12-Nov-2005 03:20 451K
[ ]1995 -- Robert Harper, Greg Morrisset -- Compiling Polymorphism Using Intensional Type Analysis.pdf12-Nov-2005 03:19 266K
[ ]1995 -- Steffen van Bakel -- Intersection Type Assignment Systems.pdf12-Nov-2005 03:19 678K
[ ]1995 -- Stephan Kahrs, Donald Sannella, Andrezej Tarlecki -- The definition of Extend ML: a gentle introduction.pdf12-Nov-2005 03:20 447K
[ ]1995 -- Trevor Jim -- What are principal typings and what they are good for?12-Nov-2005 03:20 257K
[ ]1996 -- A.J. Kfoury -- beta-reduction as unification.pdf12-Nov-2005 03:20 220K
[ ]1996 -- Benedict R. Gaster, Mark P. Jones -- A Polymorphic Type System for Extensible Records and Variants.ps12-Nov-2005 03:20 188K
[ ]1996 -- Doaitse Swierstra, Luc Duponcheel -- Deterministic, Error-Correcting Combinator Parsers.pdf12-Nov-2005 03:20 175K
[ ]1996 -- Doaitse Swierstra, Pablo R Azero Alcocer -- Fast, Error Correcting Parser Combinators: A Short Tutorial.pdf12-Nov-2005 03:20 170K
[ ]1996 -- Graham Hutton, Erik Meijer -- Monadic Parser Combinators.pdf12-Nov-2005 03:20 248K
[ ]1996 -- John Hugues, Magnus Carlsson -- Systematic design of Monads.ps12-Nov-2005 03:20 82K
[ ]1996 -- Limsoon Wong -- Normal Forms and Conservative Extension Properties for Query Languages over Collection Types.ps12-Nov-2005 03:20 295K
[ ]1996 -- Luca Cardelli -- Type Systems .ps12-Nov-2005 03:20 2.0M
[ ]1996 -- Olivier Sanvy, Karoline Malmkjaer, Jens Palsberg -- Eta-Expansion does the trick.pdf12-Nov-2005 03:20 283K
[ ]1996 -- Simon L Peyton Jones -- Compiling Haskell by program transformation: a report from the trenches.pdf12-Nov-2005 03:20 303K
[ ]1996 -- Susan B. Davidson, Christian Overton, Val Tannen -- BioKleisli: A digital library for Biomedical researchers.ps12-Nov-2005 03:21 7.2M
[ ]1996 -- TIL: A Type-Directed Optimizing Compiler for ML.pdf12-Nov-2005 03:21 241K
[ ]1997 -- C.B Jay -- Separating Shape from Data.ps12-Nov-2005 03:21 64K
[ ]1997 -- Chuck Liang -- Let-polymorphism and eager type schemes.ps12-Nov-2005 03:21 128K
[ ]1997 -- Leonid Libkin, Limsoon Wong -- Query Languages for Bags and Aggregate Functions.ps12-Nov-2005 03:21 596K
[ ]1997 -- Luca Cardelli -- Type Systems.pdf12-Nov-2005 03:21 311K
[ ]1997 -- Robert Harper, Christopher Stone -- An interpretation pf Standard ML in type theory.pdf12-Nov-2005 03:21 586K
[ ]1997 --Simon Peyton Jones, Mark Jones -- Type classes : an exploration of the desing space.ps12-Nov-2005 03:21 185K
[ ]1997-06 A Theory of Object (LICS).pdf12-Nov-2005 03:21 173K
[ ]1998 -- Didier Rémy, Jérôme Vouillon An effective Object extension to ML.dvi12-Nov-2005 03:21 162K
[ ]1998 -- Didier Rémy -- Typage et programation.ps12-Nov-2005 03:21 1.6M
[ ]1998 -- Didier Remy and Jerome Vouillon -- Objective ML: An effective object-oriented extension to ML.ps12-Nov-2005 03:21 409K
[ ]1998 -- G. Bellè, C.B. Jay, E. Moggi -- Functorial ML.pdf12-Nov-2005 03:21 277K
[ ]1998 -- Geoge C. Necula, Peter Lee -- The Design and Implementation of a Certifying Compiler.ps12-Nov-2005 03:21 615K
[ ]1998 -- Hongwei Xi -- Dependent Types in Practical Programming.pdf12-Nov-2005 03:21 1.5M
[ ]1998 -- Jacques Garrigue -- Programming with Polymorphic Variants.ps12-Nov-2005 03:21 229K
[ ]1998 -- Jakob Rehof -- The complexity of simple subtyping systems.ps12-Nov-2005 03:21 2.0M
[ ]1998 -- Karl Crary, Stephanie Weirich, Greg Morisset -- Intensionnal Polymorphism in Type-Erasure Semantics.ps12-Nov-2005 03:21 354K
[ ]1998 -- Kens Wansbrough, Simon Peyton Jones -- Once Upon a Polymorphic Type.pdf12-Nov-2005 03:21 499K
[ ]1998 -- Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce -- Comparing Object Encondings.pdf12-Nov-2005 03:21 267K
[ ]1998 -- Mark Shields, Tim Sheard, Simon Peyton Jones -- Dynamic Typing as Stages Type Inference.ps12-Nov-2005 03:21 398K
[ ]1998 -- S. Doaitse Swierstra1, Pablo R. Azero Alcocer, and Joao Saraiva -- Designing and Implementing Combinator Languages.pdf12-Nov-2005 03:21 416K
[ ]1999 -- Barbara Liskov, Jeannette M. Wing - Behavioral Subtyping Using Invariants and Constraints.ps12-Nov-2005 03:21 264K
[ ]1999 -- Charles Alexander Stewart -- On the Formulae-as-Types Correspondence for Classical Logic.ps12-Nov-2005 03:21 1.2M
[ ]1999 -- Eliot Miranda -- Context Management in VisualWorks 5i.pdf12-Nov-2005 03:21 56K
[ ]1999 -- Jeffrey S. Foster Manuel Fahndrich Alexander Aiken -- A Theory of Type Qualifiers.pdf12-Nov-2005 03:21 293K
[ ]1999 -- Loïc Coranson, Etienne Duris, Didier Parigot, Gilles Roussel -- Declarative program transformation: a deforestationcase study.ps.gs12-Nov-2005 03:21 442K
[ ]1999 -- Martin Strecker -- Construction and Deduction in Type Theories.pdf12-Nov-2005 03:21 1.4M
[ ]1999 -- Patrick Cousot -- Types as Abstract Interpretations.pdf12-Nov-2005 03:21 458K
[ ]1999 -- Peter Van Roy, Seif Haridi -- Mozart: A programming System for Agent Applications.ps12-Nov-2005 03:21 118K
[ ]1999 -- S. Doaitse Swierstra, Pablo R. Azero Alco cer, and Joao Saraiva -- Designing and Implementing Combinator Languages.pdf12-Nov-2005 03:21 416K
[ ]1999 -- S. Duzhin -- Lectures on Vassiliev knot invariants.ps12-Nov-2005 03:21 4.4M
[ ]1999 -- Thomas P. Jensen -- Inference of polymorphic and conditional strictness properties.ps12-Nov-2005 03:21 262K
[ ]2000 -- David Walker and Greg Morrisett -- Alias Types for Recursive Data Structures .pdf12-Nov-2005 03:21 213K
[ ]2000 -- Jaceques Garrigue -- Code reuse through polymorphic variant.ps12-Nov-2005 03:21 135K
[ ]2000 -- Limsoon Wong -- Kleisli, a Functional Query System.ps12-Nov-2005 03:21 371K
[ ]2000 --Limsoon Wong -- The Functional Guts of the Kleisli Query System.ps12-Nov-2005 03:21 234K
[ ]2000 -- Mark Tullsen -- First Class Patterns.pdf12-Nov-2005 03:21 216K
[ ]2000 -- Michiel Hagedoorn -- Pattern matching using similarity measures.pdf12-Nov-2005 03:21 2.1M
[ ]2000 -- Philip Wadler -- 19th Century Logic and 21th Century Computing.pdf12-Nov-2005 03:21 211K
[ ]2000 -- Ralf Lämel, Joost Visser, Jan Kort -- Dealing with large bananas.pdf12-Nov-2005 03:21 238K
[ ]2000 -- Tobias Muller -- Promoting Constraints to First-Class Status.pdf12-Nov-2005 03:21 241K
[ ]2000 -- Trevor Jim -- A polar type system.pdf12-Nov-2005 03:21 133K
[ ]2001 -- David Gay, Alex Aiken -- Language Support for Regions.ps12-Nov-2005 03:21 374K
[ ]2001 -- Didier Rémy -- Using, Understanding, and Unraveling The OCaml Language.pdf12-Nov-2005 03:21 1.0M
[ ]2001 -- Fabrice Le Fessant and Luc Maranget -- Optimizing Pattern-Matching.ps12-Nov-2005 03:21 226K
[ ]2001 -- Jacques Garrigue -- Labeled and optional arguments for Objective Caml.ps12-Nov-2005 03:21 181K
[ ]2001 -- Lucìlia Figueiredo, Carlos Camrão -- Principal typing and Mutual Recursion.ps12-Nov-2005 03:21 229K
[ ]2001 -- Martin Odersky, Christoph Zenger, Matthias Zenger -- Colored Local Type Inference.pdf12-Nov-2005 03:21 246K
[ ]2001 -- Matthias Zenger and Martin Odersky -- Implementing Extensible Compilers.pdf12-Nov-2005 03:21 247K
[ ]2001 -- Simon Peyton Jones, Andrew Tolmach, Tony Hoare -- Playing by the Rules: Rewriting as a practical optimisation technique in GHC.pdf12-Nov-2005 03:21 253K
[ ]2001-10 -- Daan Leijen -- Parsec, a fast combinator parser.pdf12-Nov-2005 03:21 422K
[ ]2002 -- Aleksandar Nanevski -- Meta-programming with Names and Necessity.pdf12-Nov-2005 03:21 376K
[ ]2002 -- Arthur Baars, S. Doaitse Swierstra -- Typing Dynamic Typing.pdf12-Nov-2005 03:21 111K
[ ]2002 -- Bastiaan Heeren, Jurriaan Hage, Doaitse Swierstra -- Generalizing Hindley-Milner Type Inference Algorithms.pdf12-Nov-2005 03:21 463K
[ ]2002 -- David Monniaux --Initiation au langage OCAML.pdf12-Nov-2005 03:21 1.4M
[ ]2002 -- David Monniaux --Initiation au langage OCAML.pdf (2)12-Nov-2005 03:21 1.1M
[ ]2002 -- Dennis Shasha, Jason T.L. Wang, Rosalba Giugno -- Algorithmics and application of Tree and Graph Searching.ps12-Nov-2005 03:21 2.2M
[ ]2002 -- François Pottier, Xavier Leroy -- Notes du cours de DEA "Typages et programmation".ps12-Nov-2005 03:21 1.1M
[ ]2002 -- François Pottier -- A constraint-based presentation of rows.ps12-Nov-2005 03:21 179K
[ ]2002 -- J. B. Wells, Christian Haack -- Branching Types.pdf12-Nov-2005 03:21 307K
[ ]2002 -- J. B. Wells -- The Essence of Principal Typings.pdf12-Nov-2005 03:21 167K
[ ]2002 -- Jacques Garrigue -- Simple Type Inference for Structural Polymorphism.ps12-Nov-2005 03:21 284K
[ ]2002 -- Janis Voigtländer -- Concatenate, Reverse and Map Vanish For Free.pdf12-Nov-2005 03:21 188K
[ ]2002 -- Jeffrey S. Foster, Tachio Terauchi, Alex Aiken -- Flow-Sensitive Type Qualifiers.pdf12-Nov-2005 03:21 291K
[ ]2002 -- Jonathan Aldrich, Valentin Kostadinov, Craig Chambers -- Alias Annotations for Program Understanding.pdf12-Nov-2005 03:21 265K
[ ]2002 -- Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni -- A Syntactic Approach to Foundational Proof-Carrying Code12-Nov-2005 03:21 168K
[ ]2002 -- Peter J. Stuckey and Martin Sulzmann -- A Theory of Overloading.pdf12-Nov-2005 03:21 352K
[ ]2002 -- Sébastien Carlier 1,2 -- Polar Type Inference with Intersection Types and Omega.pdf12-Nov-2005 03:21 254K
[ ]2002 -- Todd Millstein, Colin Bleckner, and Craig Chambers -- Modular Typechecking for Hierarchically Extensible Datatypes and Functions.pdf12-Nov-2005 03:21 365K
[ ]2002 -- Xavier Leroy --Compiling functional languages.pdf12-Nov-2005 03:21 197K
[ ]2002? -- Phil Bagwell -- Fast Functional Lists, Hash-Lists, Deques and Variable Length Arrays.pdf12-Nov-2005 03:21 224K
[ ]2003 --- A. J. Kfoury, J. B. Wells -- Principality and Type Inference for Intersection Types Using Expansion Variables.pdf12-Nov-2005 03:21 618K
[ ]2003 -- Didier Le Botlan, Didier Rémy -- MLF, Raising ML to the Power of System F.pdf12-Nov-2005 03:21 198K
[ ]2003 -- Emmanuel Beffara -- Une introduction à Haskell.pdf12-Nov-2005 03:21 318K
[ ]2003 -- Ferruccio Damiani -- Principal Typings and True Rank 2 Intersection Typable Recursive Definitions.pdf12-Nov-2005 03:21 287K
[ ]2003 -- Luc Maranget -- Les avertissements du filtrage.ps12-Nov-2005 03:21 244K
[ ]2003 -- Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger -- A Nominal Theory of Objects with Dependent Types.pdf12-Nov-2005 03:21 372K
[ ]2003 -- Nathaniel Nystrom, Michael R. Clarkson, and Andrew C. Myers -- Polyglot: An Extensible Compiler Framework for Java.pdf12-Nov-2005 03:21 79K
[ ]2003 -- Paola Bruscoli, Alessio Guglielmi -- A Tutorial on Proof Theoretic Foundations of Logic Programming.pdf12-Nov-2005 03:21 171K
[ ]2003 -- Ralf Lämmel, Simon Peyton Jones -- Scrap your Boilerplate: A practical design for generic programming.ps12-Nov-2005 03:21 141K
[ ]2003 -- Ralf Lammel, Simon Peyton Jones Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming.pdf12-Nov-2005 03:21 120K
[ ]2003 -- Robert L. Constable -- Naïve Computational Type Theory.pdf12-Nov-2005 03:21 315K
[ ]2003 -- Roberto Di Cosmo, Francois Pottier, and Didier Remy -- Subtyping Recursive Types modulo Associative Commutative Products.pdf12-Nov-2005 03:21 207K
[ ]2003 -- S. Alexander Spoon -- Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability.pdf12-Nov-2005 03:21 157K
[ ]2003 -- Vincent Simonet -- An extensions of HM(X) with first class existential and universal data-types.ps12-Nov-2005 03:21 478K
[ ]2003 -- Vincent Simonet -- Flow Caml in a Nutshell.pdf12-Nov-2005 03:21 57K
[ ]2003 -- Walid Thaha -- Multi-Stage Programming in MetaOCAML.pdf12-Nov-2005 03:21 397K
[ ]2003 -- Wolfram Kahl -- Basic Pattern Matching Calculi: Syntax, Reduction, Confluence, and Normalisation.pdf12-Nov-2005 03:21 263K
[ ]2003 -- Yitzhak Mandelbaum, David Walker, Rober t Harper -- An Effective Theory of Type Refinements.pdf12-Nov-2005 03:21 249K
[ ]2003 - Joao Saraiva, Sergio Schneider -- Embedding Domain Speci?c Languages in the Attribute Grammar Formalism.pdf12-Nov-2005 03:21 295K
[ ]2003 - Robin Milner -- What's in a name.pdf12-Nov-2005 03:21 90K
[ ]2004 -- Adam Bakewell and A.J. Kfoury -- Unification with expansion variables.pdf12-Nov-2005 03:21 489K
[ ]2004 -- An Overview of the Scala Programming Language -- Martin Odersky, Philippe Altherr, Vincent Cremet, Burak Emir, Sebastian Maneth, Stephane Micheloud, Nikolay Mihaylov, Michel Schinz, Erik Stenman, Matthias Zenger.pdf12-Nov-2005 03:21 611K
[ ]2004 -- François Pottier -- Types et Contraintes.pdf12-Nov-2005 03:21 551K
[ ]2004 -- Gérard Boudol and Pascal Zimmer -- On Type Inference in the Intersection Type Discipline.pdf12-Nov-2005 03:21 241K
[ ]2004 -- Hongwei Xi -- Dependent Types for Practical Programming via Applied Type System.pdf12-Nov-2005 03:21 470K
[ ]2004 -- Jacques Garrigue -- Relaxing the Value Restriction.pdf12-Nov-2005 03:21 162K
[ ]2004 -- Jacques Garrigue -- Typing deep pattern-matching in presence of polymorphic variants.pdf12-Nov-2005 03:21 198K
[ ]2004 -- Martijn Michiel Schrage -- Proxima, A presentation-oriented editor for structured documents.pdf12-Nov-2005 03:21 2.1M
[ ]2004 -- Matthias Zenger, Martin Odersky Independently Extensible Solutions to the Expression Problem.pdf12-Nov-2005 03:21 194K
[ ]2004 -- Peter Gammie -- A Brief Introduction to Hindley-Milner Typing.ps12-Nov-2005 03:21 275K
[ ]2004 -- Ralf Hinze -- Generics for the Masses.pdf12-Nov-2005 03:21 121K
[ ]2004 -- Ralf Lämmel, Simon Peyton Jones -- Scrap More Boilerplate: Reflection, Zips and Generalised Casts.ps12-Nov-2005 03:22 146K
[ ]2004 -- Sébastien Carlier, Jeff Polakow, J. B. Wells , and A. J. Kfoury -- System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types.pdf12-Nov-2005 03:22 215K
[ ]2004 -- Sebastien Carlier, J. B. Wells -- Type Inference with Expansion Variables and Intersection Types in System E and an Exact Correspondence with Beta-reduction.pdf12-Nov-2005 03:22 264K
[ ]2004 -- Simon Peyton Jones, Geoffrey Washbum, Stephanie Weirich -- Woobly types: type inference for generalised algebraic data types.ps12-Nov-2005 03:22 228K
[ ]2004 -- Simon Peyton Jones, Geoffrey Washburn, Stephaie Weirich -- Wobbly types : type inference for generalised algebraic data types.ps12-Nov-2005 03:22 228K
[ ]2004 -- Simon Peyton Jones, Mark Shields -- Practical type inference for arbitrary-rank types.ps12-Nov-2005 03:22 479K
[ ]2004 -- Tim Harris, Simon Marlow, Simon Peton Jones, Maurice Herlihy -- Composable Mmory Transactions.ps12-Nov-2005 03:22 755K
[ ]2004 -- Typing deep pattern-matching in presence of polymorphic variants.pdf12-Nov-2005 03:22 198K
[ ]2004 -- Walid Taba -- Gentle Introduction to Multi-stage Programming.pdf12-Nov-2005 03:22 192K
[ ]2005 -- Daan Leijen -- First-class labels for extensible rows.pdf12-Nov-2005 03:22 212K
[ ]2005 -- Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton Jones -- Boxy Type Inference for higher-ranks types and impredicativity.ps12-Nov-2005 03:22 336K
[ ]2005 -- François Pottier -- Type-Based information flow Analyses.pdf12-Nov-2005 03:22 402K
[ ]2005 -- Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke -- Linearly Used Continuations.pdf12-Nov-2005 03:22 166K
[ ]2005 -- Nick Benton -- Simple Relational Correctness Proofs for Static Analyses and Program Transformations.pdf12-Nov-2005 03:22 336K
[ ]2005 -- Ralf Lammel, Simon Peyton Jones -- Scrap Your Boilerplate With Class: Extensible Generic Functions.pdf12-Nov-2005 03:22 160K
[ ]2005 -- Thorsten Altenkirch, Conor McBride, James McKinna -- Why Dependent Types Matter.pdf12-Nov-2005 03:22 178K
[ ]2005 -- Tim Sheard -- Putting Curry-Howrad to Work.ps12-Nov-2005 03:22 234K
[ ]2005 -- Tom Mens, Jim Buckley, Matthias Zenger, Awais Rashid -- Towards a Taxonomy of Software Evolution.pdf12-Nov-2005 03:22 278K
[TXT]papers.html12-Nov-2005 03:22 34K
Apache/2.2.11 (Debian) DAV/2 SVN/1.5.1 mod_fastcgi/2.4.6 mod_python/3.3.1 Python/2.5.2 mod_ssl/2.2.11 OpenSSL/0.9.8g mod_apreq2-20051231/2.6.0 mod_perl/2.0.4 Perl/v5.10.0 Server at darcs.pugscode.org Port 80