Software Engineer at Facebook in London. Co-developer of the Glasgow Haskell Compiler. Author of Parallel and Concurrent Programming in Haskell. Optimising Garbage Collection Overhead in Sigma. July 28, 2015. Or you can find more in the archives.
http://simonmar.github.io/
TODAY'S RATING
>1,000,000
Date Range
HIGHEST TRAFFIC ON
Wednesday
LOAD TIME
0.3 seconds
PAGES IN
THIS WEBSITE
0
SSL
EXTERNAL LINKS
21
SITE IP
23.235.44.133
LOAD TIME
0.312 sec
SCORE
6.2
Home · Simon Marlow | simonmar.github.io Reviews
https://simonmar.github.io
Software Engineer at Facebook in London. Co-developer of the Glasgow Haskell Compiler. Author of Parallel and Concurrent Programming in Haskell. Optimising Garbage Collection Overhead in Sigma. July 28, 2015. Or you can find more in the archives.
Semantic Domain: February 2015
http://semantic-domain.blogspot.com/2015_02_01_archive.html
Thursday, February 26, 2015. Midlands Graduate School 2015. Registration for the Midlands Graduate School. I'll be lecturing again this year on functional reactive programming, and am very much looking forward to meeting the participants. The Midlands Graduate School in the Foundations of Computing Science (MGS). This year's MGS is hosted by the Department of Computer Science. At the University of Sheffield. It will start on April 07 and finish on April 11. Roy Crole, Leicester. Jeremy Gibbons, Oxford.
Semantic Domain: January 2014
http://semantic-domain.blogspot.com/2014_01_01_archive.html
Saturday, January 25, 2014. I just attended the Off the Beaten Track. Workshop, which is a POPL workshop where people gather to offer their new, untested, and (ideally) radical ideas. Here are some quick and incomplete reactions. Chris Martens gave a talk,. Languages for Actions in Simulated Worlds. In which she described some of her ideas for using linear logic programming to model interactive fiction. Is a proof that the end of the story is derivable. Here are some thoughts I had about her talk:. In Ma...
Semantic Domain: FRP without Space Leaks
http://semantic-domain.blogspot.com/2015/07/higher-order-functional-reactive.html
Friday, July 31, 2015. FRP without Space Leaks. The dataflow engine I gave in my last post can be seen as an implementation of self-adjusting computation. In the style of Acar, Blelloch and Harper's original POPL 2002 paper. Since then, state of the art implementation techniques have improved a lot, so don't take my post as indicative of what modern libraries do.). Originally, I was one of those people, but that's no longer true: I think SAC and FRP are completely orthogonal. With an appropriate type dis...
Semantic Domain: November 2013
http://semantic-domain.blogspot.com/2013_11_01_archive.html
Thursday, November 7, 2013. Antimirov Derivatives for Regular Expressions. Are one of the shibboleths. Of functional programming: if you ask someone about implementing regular expressions, and you get back an answer involving derivatives of regular expressions, then you have almost surely identified a functional programmer. Then his theorem guarantees that the set of derivatives is finite. However, computing with derivatives up to equivalence is rather painful. Even computing equality and orderin...So fo...
Semantic Domain: March 2015
http://semantic-domain.blogspot.com/2015_03_01_archive.html
Tuesday, March 17, 2015. Abstract Binding Trees, an addendum. It struck me after the last post that it might be helpful to give an example using abstract binding trees in a more nontrivial way. The pure lambda calculus has a very simple binding structure, and pretty much anything you do will work out. So I decided to show how ABTs can be used to easily support a much more involved form of binding - namely, pattern matching. As is usual, we will need to introduce a signature module for the language. Bindi...
Semantic Domain: March 2014
http://semantic-domain.blogspot.com/2014_03_01_archive.html
Monday, March 24, 2014. Here is an incomplete selection of some good papers I'm currently reading:. Constructing Type Systems over an Operational Semantics. A Realizability Interpretation of Martin-Loef Type Theory. Simple, given the complexity of the type theories involved. Categorical Glueing and Logical Predicates for Models of Linear Logic. Parametric Polymorphism and Operational Equivalence. With double glueing, you again think of a type in as a set of values which make it up, and a set of continuat...
Semantic Domain: July 2014
http://semantic-domain.blogspot.com/2014_07_01_archive.html
Wednesday, July 9, 2014. Two Drafts on Dependent Types. I have two new draft papers to publicize. The first is a paper with Pierre Pradic and Nick Benton:. Integrating Linear and Dependent Types. Neelakantan R. Krishnaswami, Pierre Pradic, Nick Benton. The technical report with proofs. In this paper, we show how to integrate linear types with type dependency, by extending the linear/non-linear calculus of Benton to support type dependency. Mtac: A Monad for Typed Tactic Programming in Coq. Beta Ziliani, ...
Semantic Domain: December 2013
http://semantic-domain.blogspot.com/2013_12_01_archive.html
Friday, December 20, 2013. PhD Opportunities at the University of Birmingham. My university, the University of Birmingham. Is looking for applicants to the CS PhD program. I'm putting our advertisement on my blog, in case you (or your students, if you're a professor) are looking for a graduate program - well, we're looking for students! We invite applications for PhD study at the University of Birmingham. We are a group of (mostly) theoretical computer scientists who explore fundamental concepts in compu...
Semantic Domain: Abstract Binding Trees, an addendum
http://semantic-domain.blogspot.com/2015/03/abstract-binding-trees-addendum.html
Tuesday, March 17, 2015. Abstract Binding Trees, an addendum. It struck me after the last post that it might be helpful to give an example using abstract binding trees in a more nontrivial way. The pure lambda calculus has a very simple binding structure, and pretty much anything you do will work out. So I decided to show how ABTs can be used to easily support a much more involved form of binding - namely, pattern matching. As is usual, we will need to introduce a signature module for the language. Bindi...
Semantic Domain: How to implement a spreadsheet
http://semantic-domain.blogspot.com/2015/07/how-to-implement-spreadsheet.html
Wednesday, July 22, 2015. How to implement a spreadsheet. My friend Lindsey Kuper. Recently remarked on Twitter that spreadsheets were commonly understood to be the most widely used dataflow programming model, and asked if there was a simple implementation of them. As for the proof, you can look at this TLDI paper. For some idea of the complexities involved. These days it could all be done more simply, but the pressure of proving everything correct. Each of which contains an. An expression is basically a...
TOTAL LINKS TO THIS WEBSITE
21
s
Miércoles, noviembre 23, 2011. VIDEO 1 - Trio de trolos. Miércoles, noviembre 23, 2011. Hoy les traigo otro video hecho por mi y mis amigos. Esta vez es un homenaje a los MIDACHI que realizamos con:. Emiliano Suter - Santiago. Maria Jesús Miranda - Cacho. Simón "Partime" Manzur - Carolina. Espero que les guste y si no, no me lo digan porque me voy a sentir mal por unas horas. PD: Lavense las orejas, hay olor a cera en el blog. Miércoles, noviembre 02, 2011. VIDEOCLIP 1 - LOS REYES MAGOS DEL CUARTETO.
simon mapletoft | Presenter and producer
Skip to primary content. Skip to secondary content. SIMON MAPLETOFT is a journalist and broadcaster with over 30 years’ experience. Specialising in the exciting sport of horse racing, he has been a familiar face on Sky Sports’ At The Races for over 13 years. An acknowledged expert on All-Weather racing, Simon spearheads the channel’s extensive coverage of the annual All-Weather Championships, as well as presenting live broadcasts from the studio and other Flat racecourses all over Britain.
simonmapp.com
Ce nom de domaine n'est pas disponible. Il a été enregistré via gandi.net. More information about the owner. Enregistrer votre nom de domaine. Chez Gandi, vous avez le choix sur plus d'une centaine d'extensions et vous bénéficiez de tous les services inclus (mail, redirection, ssl.). Rechercher un nom de domaine. Votre site dans le cloud? Découvrez Simple Hosting, notre cloud en mode PaaS à partir de 4 HT par mois (-50% la première année pour les clients domaine). It is currently being parked by the owner.
Simón Maquinaria | Maquinaria y Equipo Industrial
MAQUINARIA DE PEGADO Y APLICAR ADHESIVOS. Taller de reparaciones con una gran experiencia en el sector de maquinaria para el calzado y mantenimiento de equipos industriales. Además, nosotros potenciamos el departamento de repuestos y refacciones, a través de nuestra tienda y con un precio competitivo. En nuestra empresa puede encontrar toda clase de complementos que contribuyan a alargar la vida de su maquinaria y mejorar el rendimiento de esta. Visite www.torox.com.mx. TEL/FAX: (477)714.64.71. El produc...
Home · Simon Marlow
Software Engineer at Facebook in London. Co-developer of the Glasgow Haskell Compiler. Author of Parallel and Concurrent Programming in Haskell. Optimising Garbage Collection Overhead in Sigma. July 28, 2015. Or you can find more in the archives.
Simon Marcadet | Portfolio |
You need Adobe Flash Player 10.1 to view this site. Click the Link below to download the player. 1, place Jean Achard. 38000 Grenoble, France. 115;imon@simonmarcadet.fr. Simon Marcadet - Profile. Simon Marcadet is a multimedia communication student, who studing at the Institute of Communication and Media in Grenoble, France. His work areas are multimedia conception and development. Furthermore Simon Marcadet has about 2 years experience in web development as self-employement. Mise en forme avec XSLT.
Simon's Blog
Saturday, 2 March 2013. Might Help if I attached the Photograph! Web: http:/ WWW.simonmarchini.co.uk. One the great features that I used when I moved to Posterous was the ability to write a blog in my email client and then post it. Since email Posterous is soon to be no more I've had to test new ways to do this. Getting word press to work has been a breeze but I didn't realise that this could easily be set up with blogger. Now in. Daffodil would help.so here is it. Friday, 22 February 2013. Superannuated...
Simon's Blog | The unedited ramblings of a middle aged man
The unedited ramblings of a middle aged man. Sketching or Doodling you decide. August 17, 2015. You just have to wonder what depths will be plumbed should Corbyn be elected. August 17, 2015. Perhaps the most depressing thing about this whole sorry state is what it says about the state of the current Labour party that the rank outsider is now on course to win. I read a fascinating article on Saturday in The Guardian called The Strange Death of Labour Britain. Jeremy Corbyn – silly season story? At least E...
Simon Marchner | Design & Illustration
Simon Marchner Design and Illustration. Website Under Construction…. Http:/ www.simonmarchner.bigcartel.com. Http:/ www.facebook.com/simonmarchner. Bloggen auf WordPress.com. Simon Marchner Design and Illustration. Bloggen auf WordPress.com. Add your thoughts here. (optional).
SOCIAL ENGAGEMENT