Nottingham FP Lab Blog

Tags

All posts

• Functional Reactive Games and Kinect - November 28, 2014 - by Ivan Perez
• Declarative Game Programming (PPDP 14) - additional material - September 23, 2014 - by Ivan Perez
• Yampa 0.9.6 released - August 29, 2014 - by Ivan Perez
• Categorical Semantics of Dependent Type Theory - February 7, 2013 - by nicolai
• ε₀ happy returns - December 15, 2012 - by Venanzio
• A Quotient in HoTT - December 12, 2012 - by Nicolai Kraus
• Induction-Recursion and Impredicativity - December 6, 2012 - by Venanzio
• Isomorphisms and weak equivalences - November 28, 2012 - by Paolo Capriotti
• The Infinite Jail - November 19, 2012 - by Venanzio
• Continuity of Gödel's system T functionals - November 9, 2012 - by Paolo Capriotti
• Homotopy tutorial 1 - November 7, 2012 - by Ambrus Kaposi
• FP Lab Blog Rides Again - November 2, 2012 - by Graham Hutton
• Red-black trees - May 7, 2011 - by James Chapman
• Professor Layton and the Projective Plane - December 7, 2010 - by Christian Sattler
• Size-indexed logical relations - November 30, 2010 - by Nils Anders Danielsson
• Modular datatypes and folding for functions - November 5, 2010 - by Laurence E. Day
• Compatibility of equalities based on operational semantics - October 29, 2010 - by Nils Anders Danielsson
• Using reflection to improve automatization - May 13, 2010 - by gallais
• Solving first order stream equations - May 10, 2010 - by fyb
• Bag Equality via a Proof-Relevant Membership Relation - March 16, 2010 - by Nils Anders Danielsson
• Causal Semantics of (A)FRP - March 8, 2010 - by Neil Sculthorpe
• The codensity monad - February 12, 2010 - by Graham
• Scala: An Object-Oriented Language with Functional Programming Features - November 25, 2009 - by Darin Morrison
• Implementing a Correct Type-Checker for the Simply Typed Lambda Calculus - November 25, 2009 - by Darin Morrison
• Parser combinators are as expressive as possible - October 28, 2009 - by Nils Anders Danielsson
• Factorising folds for faster functions - October 16, 2009 - by Graham
• Left Kan extensions of containers - October 3, 2009 - by Thorsten
• Folding Statistics - July 17, 2009 - by Tom Nielsen
• Some observations about μν - July 10, 2009 - by Nils Anders Danielsson
• Numbers in Agda - June 26, 2009 - by Thorsten
• Turning amortised into worst-case - May 8, 2009 - by Nils Anders Danielsson
• Work stealing and implementation of runtime systems - March 16, 2009 - by Graham
• Breadth first labelling - March 6, 2009 - by Graham
• Container eating - February 28, 2009 - by Hancock
• Djinn, monotonic - February 13, 2009 - by Conor
• Indexing a coinductive type on a trace - January 9, 2009 - by Nils Anders Danielsson
• Update on PiSigma - December 15, 2008 - by Thorsten
• The new GHC API - December 8, 2008 - by Wouter
• Call-by-push-value - November 21, 2008 - by Wouter
• The origin of species - November 19, 2008 - by Thorsten
• Numbers vs Sets - November 7, 2008 - by Thorsten
• Is purity inefficient? - October 17, 2008 - by Nils Anders Danielsson
• Exponentials of containers (again) - September 5, 2008 - by Thorsten
• Modular Monad Transformers - September 4, 2008 - by Mauro Jaskelioff
• Hereditary substitutions over simply typed λ-calculus - August 13, 2008 - by Chantal Keller
• An ad-hoc approach to productive definitions - August 1, 2008 - by Nils Anders Danielsson
• CCC-ness of the category of containers - July 11, 2008 - by Hancock
• Agda compiler and FFI - July 4, 2008 - by Nils Anders Danielsson
• braincurry - July 3, 2008 - by Tom Nielsen
• Recursion with boxes - June 21, 2008 - by Thorsten
• Implementing Powerlists - June 13, 2008 - by Wouter
• Codata in Agda - June 10, 2008 - by Nils Anders Danielsson
• A finite universe in Agda - May 9, 2008 - by Thorsten
• Agda Demo 2 - May 6, 2008 - by Nils Anders Danielsson
• Agda Demo - May 2, 2008 - by Nils Anders Danielsson
• The shortest beta-normalizer - April 13, 2008 - by Thorsten
• Newton with scratch - April 4, 2008 - by Thorsten
• Productivity - March 14, 2008 - by Nils Anders Danielsson
• Fair schedulers - March 8, 2008 - by Hancock
• Order Preserving Embeddings - March 7, 2008 - by James Chapman
• Unimo - February 27, 2008 - by Nils Anders Danielsson
• Standard Haskell - February 24, 2008 - by Conor
• FP -vs- OO bialgebraically (“Expression Lemma”) - February 22, 2008 - by Ondrej
• Associated Types and Open Type Families - February 16, 2008 - by Peter
• Monad Transformers - February 4, 2008 - by Mauro Jaskelioff
• Parametricity - January 26, 2008 - by Thorsten
• Continuations and classical logic - December 9, 2007 - by Hancock
• Unification over a definitional context - November 25, 2007 - by Conor
• What is the problem with the axiom of choice? - November 2, 2007 - by Thorsten
• Archimedes, Gentzen and lenses - October 20, 2007 - by Hancock
• Back from ICFP - October 12, 2007 - by Wouter
• The internal workings of GHC - October 5, 2007 - by Graham
• Proof by Smugness - August 7, 2007 - by Conor
• Peano induction for binary numbers (bis) - August 7, 2007 - by Conor
• Peano, episode 3 - August 7, 2007 - by Conor
• Nonempty Lists and Padding - July 8, 2007 - by Conor
• Decisive Functors - July 8, 2007 - by Conor
• Composing Applicative and Alternative - July 8, 2007 - by Conor
• Ords’n'Cards - June 29, 2007 - by Hancock
• Programming Modular Synthesizers in Haskell - June 8, 2007 - by George Giorgidze
• The Expression Problem - June 1, 2007 - by Wouter
• Hurry up please it’s time - June 1, 2007 - by Hancock
• FP lunch 25 May - May 25, 2007 - by Thorsten
• FP lunch 18 May - May 25, 2007 - by Thorsten
• FP lunch 11 May - May 25, 2007 - by Thorsten
• Abstract Analysis of Change - April 30, 2007 - by Neil Sculthorpe
• GHC sometimes loops - February 9, 2007 - by Wouter
• Bart Jacobs’ question (FP lunch 19/1/07) - January 21, 2007 - by Thorsten
• A question about observations - January 19, 2007 - by Graham
• Asteroids and the Away day - December 15, 2006 - by Wouter
• Asking for stream processors - November 28, 2006 - by Wouter
• A Toy Kernel - November 3, 2006 - by Hancock
• Kan Extensions for Functional Programmers - October 28, 2006 - by Mauro Jaskelioff
• Busy day… - October 6, 2006 - by Peter
• Haskell Workshop and ICFP - September 29, 2006 - by Wouter
• The mu^2 iso (15/9/06) - September 22, 2006 - by Thorsten
• Arrows as monoids - May 20, 2006 - by Wouter
• HCAR + Normalisation + Rewriting - April 28, 2006 - by James Chapman
• Uniqueness Logic - March 24, 2006 - by Wouter
• Pipes & Switches - March 20, 2006 - by Thorsten
• Normalisation for Typed Combinatory Logic - March 14, 2006 - by James Chapman
• GTK2hs special - March 3, 2006 - by Thorsten
• Transactions and equality - February 24, 2006 - by Graham
• OTT - February 21, 2006 - by Conor
• Parsing with distinction - February 13, 2006 - by Wouter
• Iterative and Completely Iterative Monads - February 3, 2006 - by Mauro Jaskelioff
• Comprehending the IO monad - January 29, 2006 - by Thorsten
• Applicative functors and Google MapReduce - January 20, 2006 - by Wouter
• Zippity doo daa - January 13, 2006 - by Graham
• 2.0 - January 9, 2006 - by Administrator
• monads and comonads - December 16, 2005 - by Thorsten
• Solving Sudoku a la Bird - December 9, 2005 - by Graham
• Containers: Who they? What do? and Why? - December 9, 2005 - by Peter
• Visitors from Sheffield - December 3, 2005 - by Graham
• From High-school algebra to University algebra - November 25, 2005 - by Thorsten
• Roll your own induction principles - November 18, 2005 - by James Chapman
• Using Proof to Reason about Errors in Ontology Construction - November 17, 2005 - by Louise
• Two PhDs and some obfuscated code - November 4, 2005 - by Wouter
• (Typed) Quantum Circuits in Haskell - October 21, 2005 - by Jon
• Collecting isos on regular types - July 15, 2005 - by Thorsten
• Travelling… - June 28, 2005 - by Conor
• Theory of patches - June 17, 2005 - by Wouter
• Partial - June 17, 2005 - by Thorsten
• FP Blog - June 17, 2005 - by Jon