bishboria

These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

paf31

module Main where
  
import Data.Maybe (fromMaybe)

import Control.Applicative
import Control.Arrow (first)
import Control.Monad (ap) 
    
import Debug.Trace
  

biboudis

2016

1. Sixth Summer School on Formal Techniques / 22-27 May
2. Twelfth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems / 10-16 July 2016
3. Oregon Programming Languages Summer School / 20 June-2 July 2016
4. The 6th Halmstad Summer School on Testing / 13-16 June, 2016
5. Second International Summer School on Behavioural Types / 27 June-1 July 2016
6. Virtual Machines Summer School 2016 / 31 May - 3 June 2016
7. ECOOP 2016 Summer School

2015

paulp

// [info] Running p.Run
// List(Fish(Bob, Esq.,12), Kitty(Thor, Esq.,java.awt.Color[r=255,g=200,b=0]))

import java.awt.Color

package p {
  trait Pet[A] {
    def name(a: A): String
    def renamed(a: A, newName: String): A
  }

paf31

This blog post series has moved here.

You might also be interested in the 2016 version.

nafg

  trait ApType {
    import scala.language.higherKinds
    type FS[+Z]
  }
  trait ApTypeOne[A] extends ApType {
    type FS[+Z] = A => Z
  }
  trait ApTypeMore[A, N <: ApType] extends ApType {
    type FS[+Z] = A => N#FS[Z]
  }

shajra

import concurrent.{ExecutionContext, Future => SFuture, Promise}                 
import util.Try                                                                                                 
                                                                                                                
import _root_.scalaz.\/                                                                                         
import _root_.scalaz.concurrent.{Task => ZTask}                                                                 
                                                                                                                
                                                                                                                
object Task {                                                                                                   
                                                                                                                
  def fromScala[A]