| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andrzej Filinski |
Towards a comprehensive theory of monadic effects.  |
ICFP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks 0001 |
Lightweight monadic programming in ML. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelakantan R. Krishnaswami, Nick Benton |
A semantic model for graphical user interfaces. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Materzok, Dariusz Biernacki |
Subtyping delimited continuations. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Swamy, Juan Chen 0002, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang 0001 |
Secure distributed programming with value-dependent types. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Barry Jay, Jens Palsberg |
Typed self-interpretation by pattern matching. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Charguéraud |
Characteristic formulae for the verification of imperative programs. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Thamsborg, Lars Birkedal |
A kripke logical relation for effect-based program transformations. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Takeyama |
Programming assurance cases in Agda. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsuhiro Ueno, Atsushi Ohori, Toshiaki Otomo |
An efficient non-moving garbage collector for functional languages. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Weirich, Brent A. Yorgey, Tim Sheard |
Binders unbound. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ki Yung Ahn, Tim Sheard |
A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Luca Paolini, Mauro Piccolo |
Linearity and PCF: a semantic insight! |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emily G. Mitchell |
Functional programming through deep time: modeling the first complex ecosystems on earth. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Hinze, Daniel W. H. James |
Proving the unique fixed-point principle correct: an adventure with category theory. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Akimasa Morihata, Kiminori Matsuzaki |
Balanced trees inhabiting functional parallel programming. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Chyzak, Alexis Darrasse |
Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vardoulakis, Olin Shivers |
Pushdown flow analysis of first-class control. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons, Ralf Hinze |
Just do it: simple monadic equational reasoning. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amal Ahmed 0001, Matthias Blume |
An equivalence-preserving CPS translation via multi-language semantics. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Gill, Andrew Farmer |
Deriving an efficient FPGA implementation of a low density parity check forward error corrector. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Zhiwu Xu 0001 |
Set-theoretic foundation of parametric polymorphism and subtyping. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Devriese, Frank Piessens |
On the bright side of type classes: instance arguments in Agda. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Gesbert, Pierre Genevès, Nabil Layaïda |
Parametric polymorphism and semantic subtyping: the logical connection. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Might, David Darais, Daniel Spiewak |
Parsing with derivatives: a functional pearl. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Bruno C. d. S. Oliveira |
Monads, zippers and views: virtualizing the monad stack. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathleen Fisher, Nate Foster, David Walker 0001, Kenny Qili Zhu |
Forest: a language and toolkit for programming with filestores. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Cheng Mu, Akimasa Morihata |
Generalising and dualising the third list-homomorphism theorem: functional pearl. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Alex I. Smith, Satnam Singh |
Geometry of synthesis iv: compiling affine recursion into static hardware. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker 0001 |
Frenetic: a network programming language. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsushi Ohori, Katsuhiro Ueno |
Making standard ML a practical database programming language. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José Pedro Magalhães, W. Bas de Haas |
Functional modelling of musical harmony: an experience report. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémy Buisson, Fabien Dagnat |
ReCaml: execution state as the cornerstone of reconfigurations. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James Chapman 0001, Pierre-Évariste Dagand, Conor McBride, Peter Morris |
The gentle art of levitation. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Tobin-Hochstadt, Matthias Felleisen |
Logical types for untyped languages. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Van Horn, Matthew Might |
Abstracting abstract machines. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Crestani, Michael Sperber |
Experience report: growing programming languages for beginning students. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Mitchell |
Rethinking supercompilation. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Mazurak, Steve Zdancewic |
Lolliproc: to concurrency from classical linear logic via curry-howard and control. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier |
Regular, shape-polymorphic, parallel arrays in Haskell. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Garrett Morris, Mark P. Jones |
Instance chains: type class programming without overlapping instances. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Scott, Richard Sharp, Thomas Gazagnaire, Anil Madhavapeddy |
Using functional programming within an industrial product group: perspectives and perceptions. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson |
Parametricity and dependent types. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Iustin Pop |
Experience report: Haskell as a reagent: results and observations on the use of Haskell in a python project. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan Culpepper, Matthias Felleisen |
Fortifying macros. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Naylor, Colin Runciman |
The reduceron reconfigured. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Reed 0001, Benjamin C. Pierce |
Distance makes the types grow stronger: a calculus for differential privacy. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg 0002, Benjamin C. Pierce |
Matching lenses: alignment and view update. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Anders Danielsson |
Total parser combinators. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang 0002 |
Combining syntactic and semantic bidirectionalization. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano 0001 |
Bidirectionalizing graph transformations. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Bergstrom, Mike Rainey, John H. Reppy, Adam Shaw, Matthew Fluet |
Lazy tree splitting. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Dreyer, Georg Neis, Lars Birkedal |
The impact of higher-order state and control effects on local relational reasoning. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vytiniotis, Andrew J. Kennedy |
Functional pearl: every bit counts. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Felleisen |
TeachScheme!: a checkpoint. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman, Andrew D. Gordon 0001, Catalin Hritcu, David E. Langworthy |
Semantic subtyping with an SMT solver. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Holdermans, Jurriaan Hage |
Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis Stampoulis, Zhong Shao |
VeriML: typed computation of logical terms inside a language with effects. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv |
Specifying and verifying sparse matrix codes. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew McCreight, Tim Chevalier, Andrew P. Tolmach |
A certified framework for compiling and executing garbage-collected languages. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Pouillard, François Pottier |
A fresh look at programming with names and binders. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamie Morgenstern, Daniel R. Licata |
Security-typed programming within dependently typed programming. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy E. Blelloch |
Functional parallel algorithms. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. C. Gordon |
ML: metalanguage or object language? |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Crary |
Higher-order representation of substructural logics. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Charguéraud |
Program verification through characteristic formulae. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Fischer 0001, Frank Huch, Thomas Wilke |
A play on regular expressions: functional pearl. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak, Stephanie Weirich (eds.) |
Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010 |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edwin C. Brady, Kevin Hammond |
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra |
Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
HList, class system, type-level programming, Haskell, attribute grammars, lazy evaluation |
| 1 | Janis Voigtländer |
Free theorems involving type constructor classes: functional pearl. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
relational parametricity |
| 1 | Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman |
A theory of typed coercions and its applications. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
coercion insertion, gradual typing, nonambiguity, type-directed translation, provenance |
| 1 | Neil Sculthorpe, Henrik Nilsson |
Safe functional reactive programming through dependent types. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
DSELS, FRP, synchronous data-flow, functional programming, domain-specific languages, dependent types, reactive programming |
| 1 | Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |
Partial memoization of concurrency and communication. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
partial memoization, software transactions, concurrent programming, multicore systems, concurrent ml |
| 1 | Ralf Hinze |
Functional pearl: la tour d'Hanoï. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
Hanoi graph, projective programming, sierpinski gasket graph, sierpinski graph, wholemeal programming, gray code, towers of Hanoi |
| 1 | Hai Liu 0012, Eric Cheng, Paul Hudak |
Causal commutative arrows and their optimization. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
functional programming, stream processing, program optimization, functional reactive programming, arrows, dataflow language |
| 1 | Curt J. Sampson |
Experience report: Haskell in the 'real world': writing a commercial application in a lazy functional lanuage. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
commercial programming, financial systems, functional programming, haskell |
| 1 | Vincent Balat, Jérôme Vouillon, Boris Yakobowski |
Experience report: ocsigen, a web programming framework. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
ocsigen, networking, web, programming, implementation, services, ML, typing, XHTML, objective CAML |
| 1 | Jay A. McCarthy |
Automatically RESTful web applications: marking modular serializable continuations. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
web applications, continuations, stack inspection |
| 1 | Thomas Gazagnaire, Vincent Hanquez |
OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
databases, concurrency, transactions, prefix trees |
| 1 | Ryan Newton, Teresa Ko |
Experience report: embedded, parallel computer-vision with a functional DSL. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
stream processing languages, computer vision |
| 1 | Georg Neis, Derek Dreyer, Andreas Rossberg |
Non-parametric parametricity. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
intensional type analysis, representation independence, type-safe cast, parametricity, step-indexed logical relations |
| 1 | Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi |
A functional I/O system or, fun for freshman kids. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
introductory programming |
| 1 | Conal M. Elliott |
Beautiful differentiation. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
automatic differentiation, program derivation |
| 1 | Simon Marlow, Simon L. Peyton Jones, Satnam Singh |
Runtime support for multicore Haskell. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
Haskell parallel runtime |
| 1 | Guy L. Steele Jr. |
Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
associative operator, conjugate transform, tree, reduction, monoid |
| 1 | Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky |
Effective interactive proofs for higher-order imperative programs. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
functional programming, dependent types, separation logic, interactive proof assistants |
| 1 | Jan Midtgaard, Thomas P. Jensen |
Control-flow analysis of function calls and returns by abstract interpretation. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
direct style, tail-call optimization, abstract interpretation, control flow analysis, continuation-passing style, constraint-based analysis |
| 1 | Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço |
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
SCADE SUITE 6, safety critical, objective caml, DO-178B |
| 1 | Graham Hutton, Andrew P. Tolmach (eds.) |
Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009 |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel R. Licata, Robert Harper 0001 |
A universe of binding and computation. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
dependent types, variable binding |
| 1 | Gerwin Klein, Philip Derrin, Kevin Elphinstone |
Experience report: seL4: formally verifying a high-performance microkernel. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
seL4, haskell, microkernel, Isabelle/HOL |
| 1 | Sebastian Fischer 0001, Oleg Kiselyov, Chung-chieh Shan |
Purely functional lazy non-deterministic programming. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
call-time choice, continuations, monads, side effects |
| 1 | Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis |
Complete and decidable type inference for GADTs. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
Haskell, type inference, GADTs |
| 1 | Tiark Rompf, Ingo Maier, Martin Odersky |
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
control effects, selective CPS transform, program transformation, delimited continuations |
| 1 | Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti |
Experience report: OCaml for an industrial-strength static analysis framework. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
software architecture, static analysis, plug-ins, OCaml |
| 1 | Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes 0001, Hans Svensson, Thomas Arts, Ulf T. Wiger |
Finding race conditions in Erlang with QuickCheck and PULSE. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
QuickCheck, Erlang, race conditions |
| 1 | Benjamin C. Pierce |
Lambda, the ultimate TA: using a proof assistant to teach programming language foundations. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
programming languages, pedagogy, proof assistants |
| 1 | Avik Chaudhuri |
A concurrent ML library in concurrent Haskell. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
concurrent haskell, distributed synchronization protocol, synchronization abstractions, pi calculus, concurrent ML |
| 1 | Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring |
Generic programming with fixed points for mutually recursive datatypes. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
mutually recursive datatypes, haskell, fixed points, datatype-generic programming |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license