CS /
RecentChanges
- SomethingRelatedToDependentTypesOrAgda . . . October 07, 2015, at 12:50 PM by NAD: Removed the proposal.
- ProjectProposals . . . October 07, 2015, at 12:50 PM by NAD: Removed a proposal
- MastersThesis . . . September 10, 2015, at 02:14 PM by Ulf Norell: Removed old proposals
- CompilingDependentlyTypedPrograms . . . September 10, 2015, at 02:12 PM by Ulf Norell: How do you delete pages?
- TypeCheckingWithImplicitSyntax . . . September 10, 2015, at 02:12 PM by Ulf Norell: How do you delete pages?
- ADependentlyTypedXMLLibrary . . . September 10, 2015, at 02:12 PM by Ulf Norell: How do you delete pages?
- SummerMeeting2014Schedule . . . August 27, 2014, at 02:05 PM by Fredrik Johansson:
- SummerMeeting2014 . . . August 21, 2014, at 10:21 AM by Fredrik Johansson:
- CS . . . August 21, 2014, at 10:04 AM by Fredrik Johansson: Added summer meeting 2014
- SummerMeeting2013Schedule . . . September 09, 2013, at 05:53 PM by Ramona: some more changes
- SummerMeeting2013 . . . June 26, 2013, at 11:32 AM by Ramona:
- SummerMeeting2013Abstracts . . . June 25, 2013, at 04:23 PM by Ramona:
- SpringMeeting2013Schedule . . . June 25, 2013, at 04:22 PM by Ramona:
- SpringMeeting2011Schedule . . . June 25, 2013, at 04:15 PM by Ramona:
- SpringMeeting2013Abstracts . . . June 25, 2013, at 03:39 PM by Ramona:
- TeachingTeams . . . May 16, 2013, at 10:00 AM by Patrik Jansson:
- SpringMeeting2011 . . . June 17, 2011, at 02:06 PM by Bassel Mannaa: photos
- SpringMeeting2011Abstracts . . . June 14, 2011, at 03:11 PM by Bassel Mannaa:
- SpringMeeting2011AbstractTotalParserCombinator . . . June 14, 2011, at 03:01 PM by Bassel Mannaa:
- Abstract . . . June 13, 2011, at 07:28 PM by Bassel Mannaa: remove
- SpringMeeting2010 . . . June 10, 2010, at 01:35 AM by kemp:
- SpringMeeting2010Schedule . . . June 09, 2010, at 07:03 PM by Bengt:
- SpringMeeting2010Abstracts . . . June 09, 2010, at 05:58 PM by kemp:
- JSSymposium . . . May 26, 2010, at 11:52 AM by Bengt:
- JSSympoium . . . May 12, 2010, at 09:23 PM by Patrik Jansson:
- SpringMeeting2009Abstracts . . . April 21, 2010, at 11:46 PM by Patrik Jansson:
- SpringMeeting2009 . . . June 03, 2009, at 02:10 PM by Patrik Jansson:
- SpringMeeting2009Schedule . . . May 26, 2009, at 04:34 PM by kemp:
- TranslatingHaskellIntoAgda . . . December 01, 2008, at 04:25 PM by Ana Bove:
- SemanticsOfProgrammingLanguagesInAgda . . . December 01, 2008, at 04:24 PM by Ana Bove:
- SimulationAndAnalysisOfP2pNetworksOnPlanetlab . . . November 21, 2008, at 04:54 PM by Devdatt Dubhashi:
- EmergenceOfSmallWorldsWithEconomicIncentives . . . November 21, 2008, at 04:53 PM by Devdatt Dubhashi:
- SimulationAndAnalysisOfAlgorithmsForContentDistributionOnP2pNetworks . . . November 21, 2008, at 04:46 PM by Devdatt Dubhashi: Algorithms for p2p networks
- ConstructiveAlgebraInFunctionalProgrammingAndTypeTheory . . . November 21, 2008, at 11:32 AM by Bengt:
- DependentTypeTheoryAndImperativeComputation . . . November 21, 2008, at 11:31 AM by Bengt:
- ExactRealNumberComputationInAgda . . . November 21, 2008, at 11:31 AM by Bengt:
- ProgrammingLanguageSupportForACourseOnTypeSystems . . . November 21, 2008, at 11:30 AM by Bengt:
- QuantifierEliminationAndFunctionalProgramming . . . November 21, 2008, at 11:29 AM by Bengt: