Die Suche ergab 60 Treffer

von erdweg
17. Jul 2014 13:44
Forum: Archiv
Thema: Information on exam
Antworten: 4
Zugriffe: 964

Re: Information on exam

Sorry, I did not get notified.

In the exam, you will have to read and write code. The tasks relate to the various concepts that we discussed in the lecture, exercises, and homework.
von erdweg
17. Jul 2014 13:42
Forum: Archiv
Thema: Delimited continuations in Scala
Antworten: 9
Zugriffe: 1445

Delimited continuations in Scala

You can find some information on delimited continuations in Scala here: http://www.scala-lang.org/files/archive/nightly/docs/library/index.html#scala.util.continuations.package Note especially the following: The remainder of the reset block is wrapped into a closure that is passed as the parameter k...
von erdweg
26. Jun 2014 13:44
Forum: Archiv
Thema: Something wrong with the RefCount-Implementation?
Antworten: 2
Zugriffe: 523

Re: Something wrong with the RefCount-Implementation?

We track references for every value that is "live". A value is live because it is in the store or because the interpreter has a reference to it. You probably missed out on the second source of references.

Sebastian
von erdweg
26. Jun 2014 13:40
Forum: Archiv
Thema: Solutions to excercises
Antworten: 4
Zugriffe: 778

Re: Solutions to excercises

The solutions of the homework assignments are available online. In WebLab, just click on the button labeled "A".

For the group exercises, we will not provide solutions. You should participate in the group exercises instead.

Sebastian
von erdweg
26. Jun 2014 13:35
Forum: Archiv
Thema: Exam moved by 30 minutes
Antworten: 0
Zugriffe: 382

Exam moved by 30 minutes

Due to an overlap with another exam, we moved the COPL exam 30 minutes to the back. The new date is:

July 21, 2014. 14.30-16.30


Best,
Sebastian
von erdweg
28. Mai 2014 10:10
Forum: Archiv
Thema: Exam date
Antworten: 1
Zugriffe: 465

Re: Exam date

Yes, the exam is on July 21, 2014.

Sebastian
von erdweg
17. Mär 2014 10:08
Forum: Type Systems of Programming Languages
Thema: Exam reivew (Klausureinsicht)
Antworten: 0
Zugriffe: 405

Exam reivew (Klausureinsicht)

Hi everybody,

next Monday, March 24 at 10am you have the chance to review your exam. If you are interested, please come to S202/A213 at 10am.

Cheers,
Sebastian
von erdweg
12. Mär 2014 22:40
Forum: Type Systems of Programming Languages
Thema: Results of exam
Antworten: 4
Zugriffe: 533

Re: Results of exam

Yes, there will be the possibility to review the exam. We have yet to fix the final data. Please feel free to propose times that work well/not so well here.

Sebastian
von erdweg
11. Mär 2014 17:21
Forum: Type Systems of Programming Languages
Thema: Exam
Antworten: 1
Zugriffe: 364

Re: Exam

No, sorry.
Sebastian
von erdweg
11. Mär 2014 17:19
Forum: Type Systems of Programming Languages
Thema: Results of exam
Antworten: 4
Zugriffe: 533

Results of exam

Hi everybody,

we finished grading your exams. The results should be visible in TUCan shortly. Attached is an overview of the results.

Cheers,
Sebastian
PastedGraphic-1.pdf
(60.15 KiB) 100-mal heruntergeladen
von erdweg
10. Mär 2014 09:49
Forum: Type Systems of Programming Languages
Thema: Type system for managed exceptions
Antworten: 2
Zugriffe: 521

Re: Type system for managed exceptions

In Pierce's book, a type system for managed exceptions is merely a student exercise. I don't have a reference.
Sebastian
von erdweg
5. Mär 2014 12:04
Forum: Type Systems of Programming Languages
Thema: Replacing with fresh variables during beta-reduction
Antworten: 2
Zugriffe: 404

Re: Replacing with fresh variables during beta-reduction

The problem exists whenever free variables exist in the term we substitute into some expression. You are right that this does not happen in the simply-typed lambda calculus when disallowing reduction under lambdas. However, there are two reasons this is important nevertheless: First, there may be te...
von erdweg
5. Mär 2014 11:26
Forum: Type Systems of Programming Languages
Thema: flaw in typing rules for System F
Antworten: 1
Zugriffe: 350

Re: flaw in typing rules for System F

You are right that System F permits the following term

Code: Alles auswählen

  \beta. \x:alpha. x : forall beta. alpha -> alpha
However, this is not a problem, because you cannot use it. When applying a type argument T, you get a term of type

Code: Alles auswählen

alpha->alpha
, where you don't know what alpha is.
von erdweg
2. Mär 2014 18:28
Forum: Type Systems of Programming Languages
Thema: Details about exam
Antworten: 0
Zugriffe: 328

Details about exam

Since I received some questions per mail, here's the answer for everyone: The exam will take place on March 10, 2014, 13.00-15.00 in S206/030. You are not allowed to use any auxiliary material. The questions will be in English, and your answers also have to be in English (since we have non-German te...
von erdweg
1. Mär 2014 10:35
Forum: Type Systems of Programming Languages
Thema: Exam Questions
Antworten: 3
Zugriffe: 546

Re: Exam Questions

Lectures 20-21 covered dependent types.

Zur erweiterten Suche