Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Olle Fredriksson, Dan R. Ghica |
Krivine nets: a semantic foundation for distributed execution. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones |
Refinement types for Haskell. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Winograd-Cort, Paul Hudak |
Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | François Pottier |
Hindley-milner elaboration in applicative style: functional pearl. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lars Bergstrom, Matthew Fluet, Matthew Le, John H. Reppy, Nora Sandler |
Practical and effective higher-order optimizations. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza |
Distilling abstract machines. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yan Chen 0001, Umut A. Acar, Kanat Tangwongsan |
Functional programming for dynamic and large data with self-adjusting computation. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Gibbons, Nicolas Wu |
Folding domain-specific languages: deep and shallow embeddings (functional Pearl). |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Downen, Zena M. Ariola |
Compositional semantics for composable continuations: from abortive to delimited control. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Norman Ramsey |
On teaching *how to design programs*: observations from a newcomer. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gowtham Kaki, Suresh Jagannathan |
A relational framework for higher-order shape analysis. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kathleen Fisher |
Using formal methods to enable more secure vehicles: DARPA's HACMS program. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Turon, Derek Dreyer, Lars Birkedal |
Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thibaut Balabonski |
Weak optimality, and the meaning of sharing. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre |
C-SHORe: a collapsible approach to higher-order verification. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ulf Norell |
Interactive programming with dependent types. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adam Chlipala |
The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier |
Optimising purely functional GPU programs. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Robert Atkey, Conor McBride |
Productive coprogramming with guarded recursion. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0001, Brigitte Pientka |
Wellfounded recursion with copatterns: a unified approach to termination and productivity. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, David Sabel |
Correctness of an STM Haskell implementation. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis |
Mtac: a monad for typed tactic programming in Coq. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | François Pottier, Jonathan Protzenko |
Programming with permissions in Mezzo. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | J. Ian Johnson, Nicholas Labich, Matthew Might, David Van Horn |
Optimizing abstract abstract machines. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Josef Svenningsson, Bo Joel Svensson |
Simple and compositional reification of monadic embedded languages. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Edwin C. Brady |
Programming and reasoning with algebraic effects and dependent types. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Neelakantan R. Krishnaswami |
Higher-order functional reactive programming without spacetime leaks. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Philippe Bernardy, Guilhem Moulin |
Type-theory in color. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Hritcu, John Hughes 0001, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos |
Testing noninterference, quickly. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Akimasa Morihata |
A short cut to parallelization theorems. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Mainland, Roman Leshchinskiy, Simon L. Peyton Jones |
Exploiting vector instructions with generalized stream fusio. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vincent St-Amour, Neil Toronto |
Experience report: applying random testing to a base type environment. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dmitriy Traytel, Tobias Nipkow |
Verified decision procedures for MSO on words based on derivatives of regular expressions. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Devriese, Frank Piessens |
Typed syntactic meta-programming. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Greg Morrisett, Tarmo Uustalu (eds.) |
ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013 |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | James Cheney, Sam Lindley, Philip Wadler |
A practical theory of language-integrated query. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Florian Lorenzen, Sebastian Erdweg |
Modular and automated type-soundness verification for language extensions. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Dolan |
Fun with semirings: a functional pearl on the abuse of linear algebra. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Hinze, Nicolas Wu, Jeremy Gibbons |
Unifying structured recursion schemes. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chris Petersen, Matthias Görges, Dustin T. Dunsmuir, John Mark Ansermino, Guy Albert Dumont |
Experience report: functional programming of mHealth applications. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Simon L. Peyton Jones |
Computer science as a school subject. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrew W. Keep, R. Kent Dybvig |
A nanopass framework for commercial compiler development. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Neil Sculthorpe, Jan Bracker, George Giorgidze, Andy Gill |
The constrained-monad problem. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Emil Axelsson, Koen Claessen |
Using circular programs for higher-order syntax: functional pearl. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Germán Andrés Delbianco, Aleksandar Nanevski |
Hoare-style reasoning with (algebraic) continuations. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ohad Kammar, Sam Lindley, Nicolas Oury |
Handlers in action. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Philippe Bernardy, Koen Claessen |
Efficient divide-and-conquer parsing of practical context-free languages. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie Weirich, Justin Hsu, Richard A. Eisenberg |
System FC with explicit kind equality. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ronald Garcia |
Calculating threesomes, with blame. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Leaf Petersen, Dominic A. Orchard, Neal Glew |
Automatic SIMD vectorization for Haskell. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jana Dunfield, Neelakantan R. Krishnaswami |
Complete and easy bidirectional typechecking for higher-rank polymorphism. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alan Jeffrey |
Functional reactive programming with liveness guarantees. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Harry G. Mairson |
Functional geometry and the Traité de Lutherie: functional pearl. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano 0001 |
Structural recursion for querying ordered graphs. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira |
Modular monadic meta-theory. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Stewart 0001, Lennart Beringer, Andrew W. Appel |
Verified heap theorem prover by paramodulation. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg 0001 |
Superficially substructural types. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Chitil |
Practical typed lazy contracts. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones |
Work efficient higher-order vectorisation. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Vytiniotis, Simon L. Peyton Jones, José Pedro Magalhães |
Equality proofs and deferred type errors: a compiler pearl. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bruno C. d. S. Oliveira, William R. Cook |
Functional programming with structured graphs. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paula Severi, Fer-Jan de Vries |
Pure type systems with corecursion on streams: from finite to infinitary normalisation. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Grégoire Henry, Michel Mauny, Emmanuel Chailloux, Pascal Manoury |
Typing unmarshalling without marshalling types. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy |
Functional programs that explain their work. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adam Foltzer, Abhishek Kulkarni, Rebecca Swords, Sajith Sasidharan, Eric Jiang, Ryan Newton |
A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christian Höner zu Siederdissen |
Sneaking around concatMap: efficient combinators for dynamic programming. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Will Jones, Tony Field, Tristan Oliver Richard Allwood |
Deconstraining DSLs. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler |
Propositions as sessions. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn |
Introspective pushdown analysis of higher-order programs. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Noah M. Daniels, Andrew Gallant, Norman Ramsey |
Experience report: Haskell in computational biology. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | John Launchbury, Iavor S. Diatchki, Thomas DuBuisson, Andy Adams-Moran |
Efficient lookup-table protocol in secure multiparty computation. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi |
On the complexity of equivalence of specifications of infinite objects. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Emil Axelsson |
A generic abstract syntax model for embedded languages. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Mainland |
Explicitly heterogeneous metaprogramming with MetaHaskell. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Magnus O. Myreen, Scott Owens |
Proof-producing synthesis of ML from higher-order logic. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Neil Mitchell |
Shake before building: replacing make with haskell. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Brian Huffman |
Formal verification of monad transformers. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lars Bergstrom, John H. Reppy |
Nested data-parallelism on the gpu. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Sewell |
Tales from the jungle. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Conor Thomas McBride |
Agda-curious?: an exploration of programming with dependent types. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe |
Experience report: a do-it-yourself high-assurance compiler. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nils Anders Danielsson |
Operational semantics using the partiality monad. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond |
Automatic amortised analysis of dynamic memory allocation for lazy functional programs. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazières |
Addressing covert termination and timing channels in concurrent information flow systems. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kunle Olukotun |
High performance embedded domain specific languages. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Timothy E. Sheard |
Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Évariste Dagand, Conor McBride |
Transporting functions across ornaments. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001, Robby Bruce Findler (eds.) |
ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012 |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sheng Chen 0008, Martin Erwig, Eric Walkingshaw |
An error-tolerant type system for variational lambda calculus. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Robin P. Neatherway, Steven J. Ramsay, C.-H. Luke Ong |
A traversal-based algorithm for higher-order model checking. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jana Dunfield |
Elaborating intersection and union types. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Popescu 0001, Elsa L. Gunter |
Recursion principles for syntax with bindings and substitution. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer |
How to make ad hoc proof automation less ad hoc. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tim Disney, Cormac Flanagan, Jay McCarthy |
Temporal higher-order contracts. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy (eds.) |
Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011 |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Olin Shivers, Aaron Joseph Turon |
Modular rollback through control logging: a pair of twin functional pearls. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Meng Wang 0002, Jeremy Gibbons, Nicolas Wu |
Incremental updates for efficient bidirectional transformations. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Pouillard |
Nameless, painless. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yan Chen 0001, Jana Dunfield, Matthew A. Hammer, Umut A. Acar |
Implicit self-adjusting computation for purely functional programs. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Gotsman, Hongseok Yang |
Modular verification of preemptive OS kernels. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|