A F H J L M R S U

	Arni, Julian K.	WGP '15: "Type-Level Web APIs with Servant: ..." Type-Level Web APIs with Servant: An Exercise in Domain-Specific Generic Programming Alp Mestanogullari, Sönke Hahn, Julian K. Arni, and Andres Löh (Kitty Knows, UK; Zalora SEA, Singapore; Well-Typed, UK) @InProceedings{WGP15p1, author = {Alp Mestanogullari and Sönke Hahn and Julian K. Arni and Andres Löh}, title = {Type-Level Web APIs with Servant: An Exercise in Domain-Specific Generic Programming}, booktitle = {Proc.\ WGP}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, }
	Firsov, Denis	WGP '15: "Dependently Typed Programming ..." Dependently Typed Programming with Finite Sets Denis Firsov and Tarmo Uustalu (Tallinn University of Technology, Estonia) @InProceedings{WGP15p37, author = {Denis Firsov and Tarmo Uustalu}, title = {Dependently Typed Programming with Finite Sets}, booktitle = {Proc.\ WGP}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2015}, }
	Hahn, Sönke	WGP '15: "Type-Level Web APIs with Servant: ..." Type-Level Web APIs with Servant: An Exercise in Domain-Specific Generic Programming Alp Mestanogullari, Sönke Hahn, Julian K. Arni, and Andres Löh (Kitty Knows, UK; Zalora SEA, Singapore; Well-Typed, UK) @InProceedings{WGP15p1, author = {Alp Mestanogullari and Sönke Hahn and Julian K. Arni and Andres Löh}, title = {Type-Level Web APIs with Servant: An Exercise in Domain-Specific Generic Programming}, booktitle = {Proc.\ WGP}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, }
	Jespersen, Thomas Bracht Laumann	WGP '15: "Session Types for Rust ..." Session Types for Rust Thomas Bracht Laumann Jespersen, Philip Munksgaard, and Ken Friis Larsen (University of Copenhagen, Denmark) @InProceedings{WGP15p13, author = {Thomas Bracht Laumann Jespersen and Philip Munksgaard and Ken Friis Larsen}, title = {Session Types for Rust}, booktitle = {Proc.\ WGP}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2015}, }
	Larsen, Ken Friis	WGP '15: "Session Types for Rust ..." Session Types for Rust Thomas Bracht Laumann Jespersen, Philip Munksgaard, and Ken Friis Larsen (University of Copenhagen, Denmark) @InProceedings{WGP15p13, author = {Thomas Bracht Laumann Jespersen and Philip Munksgaard and Ken Friis Larsen}, title = {Session Types for Rust}, booktitle = {Proc.\ WGP}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2015}, }
	Löh, Andres	WGP '15: "Type-Level Web APIs with Servant: ..." Type-Level Web APIs with Servant: An Exercise in Domain-Specific Generic Programming Alp Mestanogullari, Sönke Hahn, Julian K. Arni, and Andres Löh (Kitty Knows, UK; Zalora SEA, Singapore; Well-Typed, UK) @InProceedings{WGP15p1, author = {Alp Mestanogullari and Sönke Hahn and Julian K. Arni and Andres Löh}, title = {Type-Level Web APIs with Servant: An Exercise in Domain-Specific Generic Programming}, booktitle = {Proc.\ WGP}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, }
	Mestanogullari, Alp	WGP '15: "Type-Level Web APIs with Servant: ..." Type-Level Web APIs with Servant: An Exercise in Domain-Specific Generic Programming Alp Mestanogullari, Sönke Hahn, Julian K. Arni, and Andres Löh (Kitty Knows, UK; Zalora SEA, Singapore; Well-Typed, UK) @InProceedings{WGP15p1, author = {Alp Mestanogullari and Sönke Hahn and Julian K. Arni and Andres Löh}, title = {Type-Level Web APIs with Servant: An Exercise in Domain-Specific Generic Programming}, booktitle = {Proc.\ WGP}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, }
	Munksgaard, Philip	WGP '15: "Session Types for Rust ..." Session Types for Rust Thomas Bracht Laumann Jespersen, Philip Munksgaard, and Ken Friis Larsen (University of Copenhagen, Denmark) @InProceedings{WGP15p13, author = {Thomas Bracht Laumann Jespersen and Philip Munksgaard and Ken Friis Larsen}, title = {Session Types for Rust}, booktitle = {Proc.\ WGP}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2015}, }
	Rodriguez, Ernesto	WGP '15: "Datatype Generic Programming ..." Datatype Generic Programming in F# Ernesto Rodriguez and Wouter Swierstra (Utrecht University, Netherlands) @InProceedings{WGP15p25, author = {Ernesto Rodriguez and Wouter Swierstra}, title = {Datatype Generic Programming in F#}, booktitle = {Proc.\ WGP}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2015}, }
	Swierstra, Wouter	WGP '15: "Datatype Generic Programming ..." Datatype Generic Programming in F# Ernesto Rodriguez and Wouter Swierstra (Utrecht University, Netherlands) @InProceedings{WGP15p25, author = {Ernesto Rodriguez and Wouter Swierstra}, title = {Datatype Generic Programming in F#}, booktitle = {Proc.\ WGP}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2015}, }
	Uustalu, Tarmo	WGP '15: "Dependently Typed Programming ..." Dependently Typed Programming with Finite Sets Denis Firsov and Tarmo Uustalu (Tallinn University of Technology, Estonia) @InProceedings{WGP15p37, author = {Denis Firsov and Tarmo Uustalu}, title = {Dependently Typed Programming with Finite Sets}, booktitle = {Proc.\ WGP}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2015}, }

11 authors

proc time: 0.72